Lîm Tsú-thuàn's repositories
agda-unimath
The agda-unimath library
Language:AgdaMIT000
Language:OCaml000
forest-server
A server for the forester tool
Language:RustMIT000
staged
Staged compilation with dependent types
Language:TeX000
elaboration-zoo
Minimal implementations for dependent type checking and elaboration
Language:HaskellBSD-3-Clause000
smalltt
Demo for high-performance type theory elaboration
Language:LeanMIT000
functional-programming
帶你探索 functional programming
Language:XSLTMIT000
Language:Jupyter Notebook000
Language:MakefileApache-2.0000
plfl
[WIP] Learn LEAN4 with PLFA proofs.
Language:LeanMIT000
Language:HTML000
000
000
elementary
Elementary functions in Lean
000
control-spec
unit test framework for idris2
write-a-programming-language
How to make a new language(and why we shouldn't?)
lisboot
How to boot compiled scripting language
Language:OCaml000
drracket-wakatime
Wakatime for DrRacket
plt-research
A collection of PLT researching
algebraicgraph
Lean implementation of Algebraic Graphs with Class
Language:HTMLBSD-3-Clause000