Pinned Loading

1. boolean_expression boolean_expression Public

   A Rust library for manipulating and evaluating Boolean expressions and BDDs

   Rust 31 12

2. autopiper autopiper Public

   Forked from google/autopiper

   Compiler for a high-level hardware description language with automatic pipeline synthesis

   C++ 8 1

3. speck speck Public

   speck: the small, portable, efficiently-coded kernel

   C 6 2

4. wasmtime wasmtime Public

   Forked from bytecodealliance/wasmtime

   Standalone JIT-style runtime for WebAssembly, using Cranelift

   Rust 1 1

5. nixie2 nixie2 Public

   Circuit design and firmware for a GPS-synchronized Nixie-tube clock

   C

6. bytecodealliance/regalloc2 bytecodealliance/regalloc2 Public

   A new register allocator

   Rust 217 38