idris-lang/Idris-dev
A Dependently Typed Functional Programming Language
License & maintenance
Custom or modified license that GitHub does not recognise: read the LICENSE file in the repository before using it in a product.
Last code push 20 months ago. Archived: read-only, no further updates.
Similar projects
| Repository | Stars | Activity | |
|---|---|---|---|
| 1 |  golang/goThe Go programming language | ★ 139.3k | Active |
| 2 |  microsoft/TypeScriptTypeScript is a superset of JavaScript that compiles to clean JavaScript output. | ★ 111.5k | Active |
| 3 |  denoland/denoA modern runtime for JavaScript and TypeScript. | ★ 108.7k | Active |
| 4 |  python/cpythonThe Python programming language | ★ 77.7k | Active |
| 5 |  swiftlang/swiftThe Swift Programming Language | ★ 70.5k | Active |
| 6 |  karan/Projects:page_with_curl: A list of practical projects that anyone can solve in any programming language. | ★ 48k | Stale |
| 7 |  php/php-srcThe PHP Interpreter | ★ 40.4k | Active |
| 8 |  linera-io/linera-protocolMain repository for the Linera protocol | ★ 32.1k | Active |