Idris2
Functional compiler
A compiler and language for a purely functional programming language with first class types
A purely functional programming language with first class types
3k stars
64 watching
376 forks
Language: Idris
last commit: 16 days ago compilerdependent-typeshacktoberfest
Related projects:
| Repository | Description | Stars |
|---|---|---|
| idris-lang/idris-dev | A development repository for a dependently typed functional programming language | 3,435 |
| idris-lang/idris-tutorial | An archived tutorial for learning Idris, a programming language for specifying and proving mathematical concepts in a formal system. | 94 |
 idris-hackers/idris-koans | Learning Idris by fixing failing code in a series of small exercises | 179 |
| idris-hackers/idris-free | A collection of Idris libraries and constructions that simplify working with monads in functional programming. | 26 |
 mmhelloworld/idris-jvm | Provides a JVM backend for the Idris programming language. | 469 |
 david-christiansen/idris-type-providers | A type provider library for Idris that provides a way to integrate external data sources into the Idris programming language. | 92 |
 idris-industry/ikan | A package manager and build tool for Idris, enabling easy management of packages and projects with a focus on simplicity and flexibility. | 34 |
| idris-hackers/idrisscript | Provides safe interface to JavaScript's unsafe world | 91 |
 murisi/l2 | A minimalist language with procedural macro support | 135 |
 stedolan/idris-malfunction | An experimental compiler that translates Idris code into the Malfunction programming language. | 81 |
| david-christiansen/idrissqlite | Provides type-safe bindings and tools for Idris to interact with SQLite databases. | 41 |
 uwap/idris-http | An HTTP library for Idris | 40 |
| idris-hackers/idris-llvm | A Haskell-based LLVM backend for generating LLVM bytecode from Idris programs | 78 |
 statebox/idris-ct | A formally verified category theory library written in Idris | 256 |
 jgreenemi/parris | Automates the setup and training of machine learning algorithms on remote servers | 316 |