Idris2
by idris-lang
A purely functional programming language with first class types
AI summary
Functional compiler
A compiler and language for a purely functional programming language with first class types
- stars
- 2.5K
- forks
- 380
- watching
- 63
Similar projects
Found by comparing what the projects do, not just their names.
Functional programming language
A development repository for a dependently typed functional programming language
Idris tutorial
An archived tutorial for learning Idris, a programming language for specifying and proving mathematical concepts in a formal system.
Idris tutorial
Learning Idris by fixing failing code in a series of small exercises
Monad builder
A collection of Idris libraries and constructions that simplify working with monads in functional programming.
Idris compiler
Provides a JVM backend for the Idris programming language.
Type provider library
A type provider library for Idris that provides a way to integrate external data sources into the Idris programming language.
Package manager
A package manager and build tool for Idris, enabling easy management of packages and projects with a focus on simplicity and flexibility.
JavaScript binder
Provides safe interface to JavaScript's unsafe world
murisi/l2135
Language compiler
A minimalist language with procedural macro support
Compiler
An experimental compiler that translates Idris code into the Malfunction programming language.
SQLite library
Provides type-safe bindings and tools for Idris to interact with SQLite databases.
HTTP library
An HTTP library for Idris
LLVM compiler
A Haskell-based LLVM backend for generating LLVM bytecode from Idris programs
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
