Pinned

1. boolean_expression Public

   A Rust library for manipulating and evaluating Boolean expressions and BDDs

   Rust 16 8

2. autopiper Public

   Forked from google/autopiper

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

   C++ 7 1

3. speck Public

   speck: the small, portable, efficiently-coded kernel

   C 3 2

4. protobuf Public

   Forked from protocolbuffers/protobuf

   Protocol Buffers - Google's data interchange format

   C++ 1 1

5. wasmtime Public

   Forked from bytecodealliance/wasmtime

   Standalone JIT-style runtime for WebAssembly, using Cranelift

   Rust 1

6. bytecodealliance/regalloc.rs Public

   Modular register allocator algorithms

   Rust 85 17