dependent-record-types topic

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

pikelet-lang

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

yeslogic

Cicada Language (solo version)

cicada-lang

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

brendanzab

Cicada Language (PLCT little team)

cicada-lang