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.
☆179Updated 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☆192Updated 7 years ago
- xmonad with the X11 abstracted and configured with Idris☆210Updated 6 years ago
- Parser combinators for Idris☆243Updated 6 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆161Updated 6 years ago
- Richard A. Eisenberg's PhD Dissertation☆205Updated 6 years ago
- The Art of the Propagator. See also:☆174Updated last year
- The People's Refinement Logic☆229Updated 2 years ago
- Implementation of cryptographic primitives using Idris☆122Updated 7 years ago
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- A bare-bones calculus-of-constructions☆380Updated 2 years ago
- Learn you an Agda (and achieve enlightenment)☆315Updated 7 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
- Language independent type-safe communication☆133Updated 7 years ago
- Relational programming in Haskell. Mostly developed on twitch.☆263Updated 9 months ago
- An implementation of Pie in Haskell☆205Updated 5 years ago
- A pure Haskell implementation of Datalog☆105Updated 4 years ago
- Examples of Dependently-typed programs in Haskell☆304Updated 2 years ago
- Developer tools for Haskell☆250Updated 11 months ago
- Type safe interface for working in subcategories of Hask☆419Updated 6 years ago
- Convert lambda expressions to CCC combinators☆146Updated 9 years ago
- Various data structures for use in the Idris Language.☆95Updated 5 years ago
- Distributed programming language that desugars to Morte☆92Updated 2 years ago
- Networks of composable stream transducers☆338Updated 3 months ago
- Idris mode for vim☆221Updated 4 years ago
- optics for Haskell with the most amazing type errors you've seen☆243Updated 5 years ago
- A prototype successor to Idris☆539Updated 5 years ago
- Software Foundations in Idris☆454Updated 6 years ago
- Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆269Updated last month
- Generate Haskell code from a type☆135Updated 4 months ago
- Convert Haskell source code to Coq source code☆281Updated 4 years ago