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. llvm-cov-visualizer llvm-cov-visualizer Public

   LLVM coverage visualizer for InstCombine and InstructionSimplify: bootstrap an instrumented llvm-project checkout, run pattern-specific coverage, and inspect the triggered source logic in an intera…

   Rust

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

   C++

4. editflow editflow Public

   DAG workflow editor

   TypeScript 6

5. PoissonMatting PoissonMatting Public

   Final Work for Digital Image Processing Course

   C++ 18 6

6. pandoc-include-rs pandoc-include-rs Public

   pandoc-include in rust

   Rust 1