samvang

samvang's Stars

• ammkrn/nanoda_lib

  Library implementing type inference/checking functionality based on the Lean theorem prover

  Language:Rust44522

• johnvtan/vcc

  Writing a C compiler following https://norasandler.com/book/

  Language:C1200

• ysono/compiler-c-sandler

  Language:Rust10