- Cicada -- A new dependently typed programming language https://readonly.link/manuals/gitlab.com/cicada-lang/cicada 3 comments programming
- Cicada Language -- A programming language that can help you prove mathematical theorems. https://readonly.link/manuals/gitlab.com/cicada-lang/cicada 13 comments math