#Dependent-types
Showing 5 of 5 repositories tagged #dependent-types, ranked by stars
pikelet-lang
pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Score
100
★ 622
⑂ 27
—
Rust
lukaszcz
coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
Score
0
★ 243
⑂ 38
—
OCaml
owo-lang
voile-rs
Dependently-typed row-polymorphic programming language, evolved from minitt-rs
Score
0
★ 100
⑂ 6
—
Rust
EugeneLoy
coq_jupyter
Jupyter kernel for Coq
Score
0
★ 95
⑂ 9
—
Python
gallettilance
magnificATS
Collection of ATS goodness
Score
0
★ 34
⑂ 2
—
ATS