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 1 1

2. double-array-trie double-array-trie Public

   C++

3. editflow editflow Public

   DAG workflow editor

   TypeScript 6

4. PoissonMatting PoissonMatting Public

   Final Work for Digital Image Processing Course

   C++ 18 6

5. regex2dfa regex2dfa Public

   DFA Generator From Simple Regular Expression (including '*' '|' '(' ')')

   Python 3 1

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

   pandoc-include in rust

   Rust 1