dependent-record-types

Here are 6 public repositories matching this topic...

pikelet-lang / pikelet

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

programming-language rust typechecker dependent-types compiler type-theory systems-language type-system systems-programming bidirectional-typechecking dependent-record-types dependent-records

Updated May 16, 2021
Rust

yeslogic / fathom

Star

🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧

language programming-language rust parser dependent-types compiler binary-data dsl declarative data-description-language type-system statically-typed type-checker binary-format dependent-record-types

Updated Sep 6, 2023
Rust

cicada-lang / cicada-solo

Star

Cicada Language (solo version)

language programming-language dependent-types repl type-theory type-system cicada prover interactive-theorem-proving theorem-prover dependent-record-types dependent-type-theory

Updated Nov 1, 2024
TypeScript

brendanzab / rust-nbe-for-mltt

Star

Normalization by evaluation for Martin-Löf Type Theory with dependent records

rust dependent-types type-theory type-system type-inference unification type-checker bidirectional-typechecking debruijn-indices dependent-record-types dependent-records normalization-by-evaluation semantic-typechecking

Updated Jun 8, 2022
Rust

cicada-lang / cicada-plct

Star

Cicada Language (PLCT little team)

language programming-language dependent-types repl type-theory type-system cicada prover interactive-theorem-proving theorem-prover dependent-record-types dependent-type-theory

Updated Nov 1, 2024
TypeScript

xieyuheng / x-json

Star

A dependently typed programming language embedded in JSON, that can be used as a schema checker for JSON data.

json dependent-types json-schema dependent-record-types dependent-type-theory

Updated Sep 9, 2023
TypeScript

Improve this page

Add a description, image, and links to the dependent-record-types topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the dependent-record-types topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

dependent-record-types

Here are 6 public repositories matching this topic...

pikelet-lang / pikelet

yeslogic / fathom

cicada-lang / cicada-solo

brendanzab / rust-nbe-for-mltt

cicada-lang / cicada-plct

xieyuheng / x-json

Improve this page

Add this topic to your repo