Topic: "saki-lang"
saki-lang/saki-dev
A simple scala-like dependent type programming language
Language: Scala - Size: 605 KB - Last synced at: about 1 month ago - Pushed at: about 1 month 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: 4 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
