le-jzr

le-jzr's Stars

• VendelinSlezak/BleskOS

  32-bit operating system written from scratch, with alternative user interface, designed for older computers with intention to provide system that will make them usable again

  Language:C13910

• HelenOS/helenos

  A portable microkernel-based multiserver operating system written from scratch.

  Language:C1.3k139

• WebAssembly/tool-conventions

  Conventions supporting interoperatibility between tools working with WebAssembly.

  29563

• rust-embedded/heapless

  Heapless, `static` friendly data structures

  Language:Rust1.5k178

• zargony/fuse-rs

  Rust library for filesystems in userspace (FUSE)

  Language:Rust1k130

• BurntSushi/quickcheck

  Automated property based testing for Rust (with shrinking).

  Language:Rust2.3k145

• rust-ndarray/ndarray

  ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations

  Language:Rust3.4k296

• microsoft/mimalloc

  mimalloc is a compact general purpose allocator with excellent performance.

  Language:C9.8k804

• microsoft/verona

  Research programming language for concurrent ownership

  Language:C++3.6k165

• rustwasm/wasm-pack

  📦✨ your favorite rust -> wasm workflow tool!

  Language:Rust6.1k404

• sosy-lab/sv-benchmarks

  Collection of Verification Tasks (MOVED, please follow the link)

  185169

• rust-secure-code/safety-dance

  Auditing crates for unsafe code which can be safely replaced

  52910

• rustsec/rustsec

  RustSec API & Tooling

  Language:Rust1.6k130

• ericpony/safety-prover

  Inductive invariant synthesis via learning

  Language:Java21

• coin-or/Clp

  COIN-OR Linear Programming Solver

  Language:C++38481

• sosy-lab/cpachecker

  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

  Language:Java22090

• mmjb/T2

  T2 Temporal Prover

  Language:C9214

• onetrueawk/awk

  One true awk

  Language:C2k156

• picolibc/picolibc

  picolibc - a C library designed for embedded 32- and 64- bit systems.

  Language:C1.1k163

• tesseract-ocr/tesseract

  Tesseract Open Source OCR Engine (main repository)

  Language:C++59.8k9.3k

• Rust-SDL2/rust-sdl2

  SDL2 bindings for Rust

  Language:Rust2.7k466

• rust-lang/rust-analyzer

  A Rust compiler front-end for IDEs

  Language:Rust13.9k1.5k

• landley/toybox

  toybox

  Language:C2.3k329

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10k1.5k

• mesonbuild/meson

  The Meson Build System

  Language:Python5.4k1.6k

• WebAssembly/wasi-libc-old

  Precursor to WASI libc.

  Language:C3610

• srijs/rust-crc32fast

  Fast, SIMD-accelerated CRC32 (IEEE) checksum computation in Rust

  Language:Rust25326

• jirislaby/stanse

  Error-finding tool based on static analysis

  Language:Java124

• SpinalHDL/VexRiscv

  A FPGA friendly 32 bit RISC-V CPU implementation

  Language:Assembly2.3k395

• mitsuhiko/insta

  A snapshot testing library for rust

  Language:Rust2.1k94