Cicada Language

All

9 repositories

cicada-plct
Public
Cicada Language (PLCT little team)
language programming-language dependent-types repl type-theory type-system cicada prover interactive-theorem-proving theorem-prover
TypeScript
•
GNU General Public License v3.0
•7•94•13•1•Updated Dec 25, 2024Dec 25, 2024
cicada
Public
Cicada Language
1•5•1•0•Updated Dec 25, 2024Dec 25, 2024
cicada-solo
Public
Cicada Language (solo version)
language programming-language dependent-types repl type-theory type-system cicada prover interactive-theorem-proving theorem-prover
TypeScript
•
GNU General Public License v3.0
•5•129•4•0•Updated Dec 25, 2024Dec 25, 2024
cicada-lang-website
Public
Website of Cicada Language
Vue
•
GNU General Public License v3.0
•2•5•0•0•Updated Nov 1, 2024Nov 1, 2024
cicada-internships
Public
蝉语实习生 / Cicada Internships
0•4•0•0•Updated May 11, 2024May 11, 2024
cicada-seminar-2022
Public
2•5•0•0•Updated Nov 5, 2022Nov 5, 2022
cicada-instars
Public
TypeScript
•
GNU General Public License v3.0
•0•3•0•0•Updated Mar 16, 2022Mar 16, 2022
cicada-propaganda
Public
Propaganda of Cicada Language
cicada propaganda cicada-lang cicada-language
0•0•0•0•Updated Jan 18, 2022Jan 18, 2022
cicada-instars-playground
Public
TypeScript
•
GNU General Public License v3.0
•0•1•0•0•Updated May 1, 2021May 1, 2021