edwinb / Idris2Links
A purely functional programming language with first class types
β61Updated 5 months ago
Alternatives and similar repositories for Idris2
Users that are interested in Idris2 are comparing it to the libraries listed below
Sorting:
- A continuation-based backtracking logic programming monadβ91Updated 9 months ago
- π§ a work in progress effect system for Haskell π§β131Updated 2 years ago
- An implementation of Pie in Haskellβ209Updated 5 years ago
- Relational programming in Haskell. Mostly developed on twitch.β264Updated 11 months ago
- GRIN backend for GHCβ144Updated 3 years ago
- Day 9 of Advent of Haskell - Denotational Designβ98Updated 3 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskellβ214Updated 2 years ago
- Utilities and documentation for exploring idirs2's new elaborator reflection.β83Updated last week
- β126Updated 3 weeks ago
- A categorical programming language with effectsβ283Updated 2 years ago
- A Haskell blogβ148Updated last month
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"β132Updated 5 years ago
- Example implementation of Algorithm W for Hindley-Milner type inferenceβ81Updated 3 years ago
- Language Server for Idris2β181Updated this week
- Software Transactional Memoryβ108Updated 2 months ago
- an implementation of stuck macrosβ145Updated 2 weeks ago
- A language experiment -- irc.freenode.net ##codaβ164Updated last year
- Source material for Algebra-Driven Designβ151Updated last year
- Fast and concise extensible effectsβ109Updated 2 years ago
- Dynamic typing in Haskellβ191Updated 6 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonβ¦β156Updated 4 years ago
- Haskell language tools for Pythonβ162Updated 5 years ago
- Optics as an abstract interfaceβ385Updated 2 weeks ago
- The Makam Metalanguageβ199Updated 2 years ago
- formally verified category theory libraryβ263Updated 5 years ago
- Hypertypes - generic programming for heterogeneous recursive typesβ125Updated 7 months ago
- Standard library for linear types in Haskell.β349Updated 2 months ago
- CQL: Categorical Query Language implementation in Haskellβ177Updated 2 years ago
- Total Parser Combinators in Agdaβ132Updated 3 weeks ago
- Haskell WebAssembly Toolkitβ155Updated 7 months ago