Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Cicada

Stars
80
License
gpl-3.0
Open Issues
13
Most Recent Commit
6 months ago
Programming Language
TypeScript
Monthly Downloads
npm cicada-lang Downloads
Dependent Repos
1
Dependent Packages
4
Total Releases
38
Latest Release
October 09, 2021
Categories
Site
Repo
Alternatives To Cicada
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Cicada Solo125
6 months ago4gpl-3.0TypeScript
Cicada Language (solo version)
Ttlite108
2 years ago12Scala
A SuperCompiler for Martin-Löf's Type Theory
Cicada80npm cicada-lang} Downloads146 months ago38October 09, 202113gpl-3.0TypeScript
Cicada Language
Minitt Rs68cargo minitt-util} Downloads454 years ago7September 21, 20207apache-2.0Rust
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
Manifold18
6 years ago5otherHaskell
Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.
Alternatives To Cicada
Select To Compare
Cicada ⭐ 80
Cicada Language
dependent packages 4total releases 38most recent commit 6 months agonpm cicada-lang} Downloads
Minitt Rs ⭐ 68
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
dependent packages 5total releases 7most recent commit 4 years agocargo minitt-util} Downloads


Suggest An Alternative To cicada
Alternative Project Comparisons
Cicada vs Cicada Solo
Cicada vs Ttlite
Cicada vs Minitt Rs
Cicada vs Manifold
Popular Repl Projects
Julia ⭐ 43,937
The Julia Programming Language
dependent packages 6total releases 11latest release August 23, 2022most recent commit 3 months ago
Python Fire ⭐ 25,805
Python Fire is a library for automatically generating command line interfaces (CLIs) from absolutely any Python object.
dependent packages 1,304total releases 10latest release December 12, 2022most recent commit 3 months agopypi fire} Downloads
Ts Node ⭐ 12,376
TypeScript execution and REPL for node.js
dependent packages 136,315total releases 128latest release December 08, 2023most recent commit 3 months agonpm ts-node} Downloads
Psysh ⭐ 9,596
A REPL for PHP
dependent packages 596total releases 100latest release October 14, 2023most recent commit 3 months agopackagist psy/psysh} Downloads
Popular Type Theory Projects
Plt ⭐ 5,018
Programming Language Theory λΠ
most recent commit 9 months ago
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit 5 months agonpm kind-lang} Downloads
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40latest release November 30, 2023most recent commit 3 months ago
Lean3 ⭐ 2,138
Lean Theorem Prover
most recent commit 6 months ago
Popular User Interface Categories
Theme
Flutter
Animation
Redux
Bindings
Gui
Material
Visualization
Layout
Qt
Related Searches
Typescript Language
Language Repl
Typescript Programming Language
Programming Language Repl
Typescript Repl
Language Type System
Typescript Type System
Programming Language Dependent Types
Language Dependent Types
Programming Language Type System

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Typescript
Language
Programming Language
Repl
Dependent Types
Type Theory
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.