Pinned Loading

1. model-checking/kani model-checking/kani Public

   Kani Rust Verifier

   Rust 2.8k 134

2. cucapra/diospyros cucapra/diospyros Public

   Search-based compiler for high-performance DSP programming

   Racket 69 3

3. llvm-loop-perforation llvm-loop-perforation Public

   An LLVM pass that mangles your loops, on purpose!

   C++ 7 4

4. academic-website academic-website Public

   HTML 2

5. minimum-spanning-trees-alloy minimum-spanning-trees-alloy Public

   Alloy 4 1

6. wasmtime wasmtime Public

   Forked from bytecodealliance/wasmtime

   Standalone JIT-style runtime for WebAssembly, using Cranelift

   Rust 1