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 8 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☆195Apr 23, 2018Updated 8 years ago
- Implementation of cryptographic primitives using Idris☆123May 5, 2018Updated 8 years ago
- Software Foundations in Idris☆458May 15, 2019Updated 7 years ago
- xmonad with the X11 abstracted and configured with Idris☆209May 31, 2019Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Parser combinators for Idris☆244Apr 11, 2019Updated 7 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A secure web framework, built in the Idris language.☆110Feb 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 8 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,475Feb 17, 2025Updated last year
- Type provider library for Idris☆96Dec 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A port of QuickCheck to Idris☆60Oct 30, 2017Updated 8 years ago
- Various data structures for use in the Idris Language.☆94May 22, 2020Updated 6 years ago
- ☆22Sep 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 10 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☆482Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 𝛌 Awesome Idris resources☆414Feb 20, 2020Updated 6 years ago
- Experimental Malfunction backend for Idris☆81Jun 20, 2018Updated 8 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