[ HOMEPAGE | MANUAL | PLAY | ABOUT ]
Cicada Language is a dependently typed
programming language and an
interactive theorem prover.
- cicada: The main repo.
- cicada-lang-website: Source code of cicada-lang.org
Tools:
- partech: Parser generator for context-free grammar.
- sexp: Parser for S-expression.
Language design practices:
- mugda: An implementation of the Mugda paper by Karl Mehltretter.
- inet-js: Programming with interaction nets.
- inet-cute: Programming with interaction nets (cute edition).
- cicada-instars: Five early language design practices.
Sponsors:
- Thanks PLCT Lab, for sponsoring our community at very early stage of our project.
