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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Learning project by a group of people interested in learning the Idris language☆51Feb 18, 2015Updated 11 years ago
- Collection of Idris tests and demonstration programs☆194Apr 23, 2018Updated 7 years ago
- Implementation of cryptographic primitives using Idris☆123May 5, 2018Updated 7 years ago
- Software Foundations in Idris☆457May 15, 2019Updated 6 years ago
- xmonad with the X11 abstracted and configured with Idris☆209May 31, 2019Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Parser combinators for Idris☆244Apr 11, 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 10 years ago
- 2048 in Idris☆124Nov 28, 2017Updated 8 years ago
- Static blog generator in Idris.☆40Feb 17, 2015Updated 11 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆164Jan 28, 2019Updated 7 years ago
- A proper network library for Idris, now that I know what I'm doing.☆59Sep 27, 2016Updated 9 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
- Python backend for Idris (generates Python source, not bytecode).☆125Oct 23, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A secure web framework, built in the Idris language.☆109Feb 3, 2014Updated 12 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
- Ring solver for Idris☆20Nov 12, 2018Updated 7 years ago
- ☆12Oct 3, 2020Updated 5 years ago
- A Dependently Typed Functional Programming Language☆3,467Feb 17, 2025Updated last year
- Type provider library for Idris☆95Dec 21, 2017Updated 8 years ago
- Parsers for various configuration files written in Idris.☆19Nov 8, 2017Updated 8 years ago
- SDL bindings package for idris☆47Feb 26, 2020Updated 6 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A port of QuickCheck to Idris☆60Oct 30, 2017Updated 8 years ago
- Various data structures for use in the Idris Language.☆94May 22, 2020Updated 5 years ago
- ☆23Sep 30, 2016Updated 9 years ago
- Idris mode for vim☆221Aug 31, 2020Updated 5 years ago
- Curses bindings package for Idris☆13Jan 4, 2019Updated 7 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- Derive editors for data types.☆29Oct 5, 2014Updated 11 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Jan 15, 2018Updated 8 years ago
- JVM bytecode back end for Idris☆479Jan 27, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 𝛌 Awesome Idris resources☆411Feb 20, 2020Updated 6 years ago
- Experimental Malfunction backend for Idris☆82Jun 20, 2018Updated 7 years ago
- Experimental C++11 backend for Idris☆15Nov 29, 2014Updated 11 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
- Working through Type-Driven Development with Idris☆26Sep 7, 2016Updated 9 years ago
- State machines in Idris☆37Nov 6, 2016Updated 9 years ago
- ☆13Aug 6, 2017Updated 8 years ago