Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/cicada-lang/cicada

Cicada Language
https://github.com/cicada-lang/cicada

Last synced: about 2 months ago
JSON representation

Cicada Language

Host: GitHub
URL: https://github.com/cicada-lang/cicada
Owner: cicada-lang
License: gpl-3.0
Created: 2024-04-20T17:11:06.000Z (5 months ago)
Default Branch: master
Last Pushed: 2024-05-27T19:06:24.000Z (4 months ago)
Last Synced: 2024-07-23T13:34:16.624Z (2 months ago)
Language: TypeScript
Size: 33.2 KB
Stars: 2
Watchers: 0
Forks: 0
Open Issues: 0
Metadata Files:
- License: LICENSE
- Code of conduct: CODE-OF-CONDUCT.md
- Authors: AUTHORS

Awesome Lists containing this project

awesome-programming-languages - Cicada - Cicada language is a dependently typed programming language and an interactive theorem prover. The aim of cicada project is to help people understand that developing software and developing mathematics are increasingly the same kind of activity, and people who practices these developments, can learn from each other, and help each other in very good ways. (Uncategorized / Uncategorized)