GitHub topics: programming-language-foundations
rami3l/PLFaLean
Learn Lean 4 with PLFA proofs.
Language: Lean - Size: 256 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 72 - Forks: 7
WeDu-official/GLC 📦
god like compiler
Language: Python - Size: 182 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0
minhnhdo/programming-language-foundations-in-idris
Programming language foundations in Idris
Language: Idris - Size: 145 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0
minhnhdo/programming-language-foundations-in-lean
Programming language foundations in Lean
Language: Lean - Size: 118 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0