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
63 watching
380 forks
Language: Idris
last commit: 2 months ago compilerdependent-typeshacktoberfest
Related projects:
Repository | Description | Stars |
---|---|---|
| A development repository for a dependently typed functional programming language | 3,440 |
| An archived tutorial for learning Idris, a programming language for specifying and proving mathematical concepts in a formal system. | 94 |
| Learning Idris by fixing failing code in a series of small exercises | 178 |
| A collection of Idris libraries and constructions that simplify working with monads in functional programming. | 26 |
| Provides a JVM backend for the Idris programming language. | 470 |
| A type provider library for Idris that provides a way to integrate external data sources into the Idris programming language. | 94 |
| A package manager and build tool for Idris, enabling easy management of packages and projects with a focus on simplicity and flexibility. | 34 |
| Provides safe interface to JavaScript's unsafe world | 92 |
| A minimalist language with procedural macro support | 135 |
| An experimental compiler that translates Idris code into the Malfunction programming language. | 81 |
| Provides type-safe bindings and tools for Idris to interact with SQLite databases. | 41 |
| An HTTP library for Idris | 40 |
| A Haskell-based LLVM backend for generating LLVM bytecode from Idris programs | 78 |
| A formally verified category theory library written in Idris | 259 |
| Automates the setup and training of machine learning algorithms on remote servers | 316 |