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

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

Last synced: 3 days ago
JSON representation

Cicada Language

• Host: GitHub
• URL: https://github.com/cicada-lang/cicada
• Owner: cicada-lang
• Created: 2024-10-06T01:49:26.000Z (6 months ago)
• Default Branch: master
• Last Pushed: 2024-12-25T04:23:54.000Z (4 months ago)
• Last Synced: 2025-03-26T21:49:26.126Z (19 days ago)
• Size: 3.91 KB
• Stars: 3
• Watchers: 0
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.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)