All Categories → No Category → cicada

Top 2 cicada open source projects

Cicada Language

✭ 9

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

Favorite article collections system

✭ 91

HTML javascript Dockerfile cicada thinkjs

1-2 of 2 cicada projects