Idris-dev
by idris-lang
A Dependently Typed Functional Programming Language
AI summary
Functional programming language
A development repository for a dependently typed functional programming language
- stars
- 3.4K
- forks
- 644
- watching
- 119
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Idris tutorial
An archived tutorial for learning Idris, a programming language for specifying and proving mathematical concepts in a formal system.
Monad builder
A collection of Idris libraries and constructions that simplify working with monads in functional programming.
Idris tutorial
Learning Idris by fixing failing code in a series of small exercises
JavaScript binder
Provides safe interface to JavaScript's unsafe world
Compiler
An experimental compiler that translates Idris code into the Malfunction programming language.
Idris compiler
Provides a JVM backend for the Idris programming language.
LLVM compiler
A Haskell-based LLVM backend for generating LLVM bytecode from Idris programs
Package manager
A package manager and build tool for Idris, enabling easy management of packages and projects with a focus on simplicity and flexibility.
HTTP library
An HTTP library for Idris
SQLite library
Provides type-safe bindings and tools for Idris to interact with SQLite databases.
Type provider library
A type provider library for Idris that provides a way to integrate external data sources into the Idris programming language.
Category theory library
A formally verified category theory library written in Idris
ML server builder
Automates the setup and training of machine learning algorithms on remote servers
IDL compiler
A tool for compiling IDL files into executable code and enabling RPC/distributed object interactions between microservices.
Equivalence solver
This is a collection of tactics to prove equivalences between algebraic structures in the Idris programming language.
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions Idris-dev.
