GitHub topics: dependent-record-types
pikelet-lang/pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Language: Rust - Size: 5.56 MB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 617 - Forks: 26
yeslogic/fathom
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
Language: Rust - Size: 5.51 MB - Last synced at: 19 days ago - Pushed at: almost 2 years ago - Stars: 263 - Forks: 12
cicada-lang/cicada-plct
Cicada Language (PLCT little team)
Language: TypeScript - Size: 2.51 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 92 - Forks: 7
cicada-lang/cicada-solo
Cicada Language (solo version)
Language: TypeScript - Size: 6.83 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 128 - Forks: 5
brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Language: Rust - Size: 862 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 90 - Forks: 7
xieyuheng/x-json
A dependently typed programming language embedded in JSON, that can be used as a schema checker for JSON data.
Language: TypeScript - Size: 70.3 KB - Last synced at: 11 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
