Pinned

1. boolean_expression Public

   A Rust library for manipulating and evaluating Boolean expressions and BDDs

   Rust 24 10

2. autopiper Public

   Forked from google/autopiper

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

   C++ 8 1

3. speck Public

   speck: the small, portable, efficiently-coded kernel

   C 4 2

4. wasmtime Public

   Forked from bytecodealliance/wasmtime

   Standalone JIT-style runtime for WebAssembly, using Cranelift

   Rust 1 1

5. nixie2 Public

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

   C

6. bytecodealliance/regalloc2 Public

   A new register allocator

   Rust 110 13