Projects in Awesome Lists tagged with dependent-record-types
A curated list of projects in awesome lists tagged with dependent-record-types .
https://github.com/pikelet-lang/pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
bidirectional-typechecking compiler dependent-record-types dependent-records dependent-types programming-language rust systems-language systems-programming type-system type-theory typechecker
Last synced: 30 Apr 2025
https://github.com/yeslogic/fathom
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
binary-data binary-format compiler data-description-language declarative dependent-record-types dependent-types dsl language parser programming-language rust statically-typed type-checker type-system
Last synced: 04 Apr 2025
https://github.com/brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
bidirectional-typechecking debruijn-indices dependent-record-types dependent-records dependent-types normalization-by-evaluation rust semantic-typechecking type-checker type-inference type-system type-theory unification
Last synced: 17 Mar 2025
https://github.com/xieyuheng/x-json
A dependently typed programming language embedded in JSON, that can be used as a schema checker for JSON data.
dependent-record-types dependent-type-theory dependent-types json json-schema
Last synced: 04 Apr 2025
