idris-hackers / idris-koansView external linksLinks
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.
☆182May 2, 2018Updated 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:
- Learning project by a group of people interested in learning the Idris language☆51Feb 18, 2015Updated 10 years ago
- Collection of Idris tests and demonstration programs☆194Apr 23, 2018Updated 7 years ago
- Parser combinators for Idris☆244Apr 11, 2019Updated 6 years ago
- Implementation of cryptographic primitives using Idris☆123May 5, 2018Updated 7 years ago
- Software Foundations in Idris☆457May 15, 2019Updated 6 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆164Jan 28, 2019Updated 7 years ago
- xmonad with the X11 abstracted and configured with Idris☆209May 31, 2019Updated 6 years ago
- FFI Bindings to interact with the unsafe world of JavaScript☆94Oct 7, 2018Updated 7 years ago
- Java Code Generator for Idris☆72Feb 17, 2016Updated 9 years ago
- 2048 in Idris☆124Nov 28, 2017Updated 8 years ago
- Static blog generator in Idris.☆40Feb 17, 2015Updated 10 years ago
- Slides and exercises for the Idris course taught at Galois☆51Oct 7, 2015Updated 10 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41May 1, 2018Updated 7 years ago
- A proper network library for Idris, now that I know what I'm doing.☆59Sep 27, 2016Updated 9 years ago
- Python backend for Idris (generates Python source, not bytecode).☆125Oct 23, 2017Updated 8 years ago
- A secure web framework, built in the Idris language.☆110Feb 3, 2014Updated 12 years ago
- Type provider library for Idris☆95Dec 21, 2017Updated 8 years ago
- A port of QuickCheck to Idris☆60Oct 30, 2017Updated 8 years ago
- ☆12Oct 3, 2020Updated 5 years ago
- Various data structures for use in the Idris Language.☆94May 22, 2020Updated 5 years ago
- Ring solver for Idris☆20Nov 12, 2018Updated 7 years ago
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Sep 10, 2015Updated 10 years ago
- ☆13Aug 6, 2017Updated 8 years ago
- Parsers for various configuration files written in Idris.☆19Nov 8, 2017Updated 8 years ago
- ☆23Sep 30, 2016Updated 9 years ago
- A Dependently Typed Functional Programming Language☆3,469Feb 17, 2025Updated 11 months ago
- Experimental Malfunction backend for Idris☆82Jun 20, 2018Updated 7 years ago
- Idris LLVM codegen factored out☆82Jul 28, 2017Updated 8 years ago
- Idris mode for vim☆221Aug 31, 2020Updated 5 years ago
- JVM bytecode back end for Idris☆478Jan 27, 2026Updated 3 weeks ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Jan 15, 2018Updated 8 years ago
- SDL bindings package for idris☆47Feb 26, 2020Updated 5 years ago
- State machines in Idris☆37Nov 6, 2016Updated 9 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Dec 24, 2018Updated 7 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- A small bifunctor library for idris☆21Dec 28, 2020Updated 5 years ago
- Leibniz Equality☆19Jun 7, 2018Updated 7 years ago
- An HTTP library for idris☆39Dec 26, 2018Updated 7 years ago