dependent-record-types

There are 6 repositories under dependent-record-types topic.

pikelet-lang/pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Language:Rust610 30 6226
yeslogic/fathom
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
Language:Rust259 15 14414
cicada-lang/cicada-solo
Cicada Language (solo version)
Language:TypeScript128 3 65
brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Language:Rust91 12 07
cicada-lang/cicada-plct
Cicada Language (PLCT little team)
Language:TypeScript91 3 496
xieyuheng/x-json
A dependently typed programming language embedded in JSON, that can be used as a schema checker for JSON data.
Language:TypeScript2 0