GitHub topics: saki-lang
saki-lang/saki-dev
A simple scala-like dependent type programming language
Language: Scala - Size: 605 KB - Last synced at: 8 days ago - Pushed at: 9 days ago - Stars: 17 - Forks: 2
lepton-lang/mltt-type-checker
An MLTT type checker implemented using Saki-Lang
Size: 7.81 KB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
