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
- Software Foundations in Idris☆460May 15, 2019Updated 7 years ago
- 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
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Java Code Generator for Idris☆72Feb 17, 2016Updated 10 years ago
- Static blog generator in Idris.☆40Feb 17, 2015Updated 11 years ago
- Implementation of cryptographic primitives using Idris☆123May 5, 2018Updated 8 years ago
- xmonad with the X11 abstracted and configured with Idris☆209May 31, 2019Updated 7 years ago
- Python backend for Idris (generates Python source, not bytecode).☆125Oct 23, 2017Updated 8 years ago
- Slides and exercises for the Idris course taught at Galois☆51Oct 7, 2015Updated 10 years ago
- A secure web framework, built in the Idris language.☆110Feb 3, 2014Updated 12 years ago
- Ring solver for Idris☆20Nov 12, 2018Updated 7 years ago
- ☆12Oct 3, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A proper network library for Idris, now that I know what I'm doing.☆59Sep 27, 2016Updated 9 years ago
- Parsers for various configuration files written in Idris.☆19Nov 8, 2017Updated 8 years ago
- A Dependently Typed Functional Programming Language☆3,478Feb 17, 2025Updated last year
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆165Jan 28, 2019Updated 7 years ago
- Various data structures for use in the Idris Language.☆94May 22, 2020Updated 6 years ago
- ☆22Sep 30, 2016Updated 9 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 10 years ago
- Curses bindings package for Idris☆13Jan 4, 2019Updated 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Idris mode for vim☆221Aug 31, 2020Updated 5 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
- Effectful bindings for SQLite (forked from IdrisWeb)☆41May 1, 2018Updated 8 years ago
- 𝛌 Awesome Idris resources☆414Feb 20, 2020Updated 6 years ago
- Idris on the JVM☆483Jun 29, 2026Updated 3 weeks 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☆27Sep 7, 2016Updated 9 years ago
- State machines in Idris☆37Nov 6, 2016Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 2048 in Idris☆124Nov 28, 2017Updated 8 years ago
- Type provider library for Idris☆96Dec 21, 2017Updated 8 years ago
- OCaml back end for Idris☆22Jan 24, 2018Updated 8 years ago
- SDL bindings package for idris☆47Feb 26, 2020Updated 6 years ago
- A port of QuickCheck to Idris☆60Oct 30, 2017Updated 8 years ago
- General, extensible effect monad for Scala with message-passing semantics☆37Sep 16, 2017Updated 8 years ago
- TParsec - Total Parser Combinators in Idris☆100Aug 7, 2023Updated 2 years ago