Pinned Loading

1. lean-nano-llvm lean-nano-llvm Public

   Lean 4 formalization of a small, executable LLVM-like IR with parsing, printing, wellformedness, denotational semantics, and refinement proofs.

   Lean 2 1

2. instcombine-instrumentor instcombine-instrumentor Public

   Instrument LLVM InstCombine pass to record every new instruction and every RAUW replacement

   TypeScript 7 1

3. double-array-trie double-array-trie Public

   C++

4. editflow editflow Public

   DAG workflow editor

   TypeScript 6

5. pandoc-include-rs pandoc-include-rs Public

   pandoc-include in rust

   Rust 1

6. bazel-repos bazel-repos Public

   Bazel-Based Projects in GitHub

   Python 21 8