Idris-dev
Functional programming language
A development repository for a dependently typed functional programming language
A Dependently Typed Functional Programming Language
3k stars
119 watching
644 forks
Language: Haskell
last commit: about 1 year ago
Linked from 2 awesome lists
krispo/awesome-haskell
joaomilho/awesome-idrisRelated projects:
| Repository | Description | Stars |
|---|---|---|
| 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-free | A collection of Idris libraries and constructions that simplify working with monads in functional programming. | 26 |
| idris-hackers/idris-koans | Learning Idris by fixing failing code in a series of small exercises | 178 |
| idris-hackers/idrisscript | Provides safe interface to JavaScript's unsafe world | 92 |
 stedolan/idris-malfunction | An experimental compiler that translates Idris code into the Malfunction programming language. | 81 |
 mmhelloworld/idris-jvm | Provides a JVM backend for the Idris programming language. | 470 |
| idris-hackers/idris-llvm | A Haskell-based LLVM backend for generating LLVM bytecode from Idris programs | 78 |
 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 |
 uwap/idris-http | An HTTP library for Idris | 40 |
 david-christiansen/idrissqlite | Provides type-safe bindings and tools for Idris to interact with SQLite databases. | 41 |
| 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. | 94 |
 statebox/idris-ct | A formally verified category theory library written in Idris | 259 |
 jgreenemi/parris | Automates the setup and training of machine learning algorithms on remote servers | 316 |
 nirum-lang/nirum | A tool for compiling IDL files into executable code and enabling RPC/distributed object interactions between microservices. | 121 |
 francks/ringidris | This is a collection of tactics to prove equivalences between algebraic structures in the Idris programming language. | 20 |