3 results found Sort:

mitnk
cicada mitnk
47
989
mit
16
An old-school bash-like Unix shell written in Rust
unix linux shell cicada
Created 2017-03-09
436 commits to master branch, last one 4 months ago
cicada-lang
cicada-solo cicada-lang
5
128
gpl-3.0
3
Cicada Language (solo version)
repl cicada prover language type-system type-theory theorem-prover dependent-types programming-language dependent-type-theory dependent-record-types interactive-theorem-proving
Created 2021-03-28
6,372 commits to master branch, last one 2 months ago
cicada-lang
cicada-plct cicada-lang
7
92
gpl-3.0
3
Cicada Language (PLCT little team)
repl cicada prover language type-system type-theory theorem-prover dependent-types programming-language dependent-type-theory dependent-record-types interactive-theorem-proving
Created 2022-08-07
1,874 commits to master branch, last one 2 months ago