idris-hackers / idris-koansLinks
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
☆182Updated 7 years ago
Alternatives and similar repositories for idris-koans
Users that are interested in idris-koans are comparing it to the libraries listed below
Sorting:
- Collection of Idris tests and demonstration programs☆193Updated 7 years ago
- Learn you an Agda (and achieve enlightenment)☆317Updated 7 years ago
- xmonad with the X11 abstracted and configured with Idris☆209Updated 6 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆164Updated 6 years ago
- Richard A. Eisenberg's PhD Dissertation☆205Updated 7 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆223Updated 7 years ago
- Parser combinators for Idris☆244Updated 6 years ago
- Relational programming in Haskell. Mostly developed on twitch.☆266Updated last year
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web brow…☆138Updated 4 years ago
- Various data structures for use in the Idris Language.☆95Updated 5 years ago
- The Art of the Propagator. See also:☆174Updated last year
- Sample code from "Type Driven Development with Idris"☆167Updated 8 years ago
- Convert lambda expressions to CCC combinators☆150Updated 9 years ago
- Generate Haskell code from a type☆141Updated 7 months ago
- A bare-bones calculus-of-constructions☆380Updated 3 years ago
- Language independent type-safe communication☆134Updated 7 years ago
- Implementation of cryptographic primitives using Idris☆122Updated 7 years ago
- Equational laws for free☆259Updated 4 months ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆156Updated 4 years ago
- Networks of composable stream transducers☆338Updated 6 months ago
- A Idris Mode for Atom.io☆102Updated last year
- Idris mode for vim☆221Updated 5 years ago
- A language experiment -- irc.freenode.net ##coda☆163Updated last year
- Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & aut…☆183Updated 6 years ago
- Play Minesweeper by formally proving your moves in Idris☆167Updated last year
- Distributed programming language that desugars to Morte☆92Updated 3 years ago
- Another implementation of Frank.☆70Updated 8 years ago
- Diagrams standard library☆140Updated last month
- Fast linear time sorting and discrimination for a large class of data types☆137Updated 4 months ago