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.
☆181May 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:
- Collection of Idris tests and demonstration programs☆195Apr 23, 2018Updated 8 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Sep 27, 2016Updated 10 years ago
- xmonad with the X11 abstracted and configured with Idris☆209May 31, 2019Updated 7 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆164Jan 28, 2019Updated 7 years ago
- Implementation of cryptographic primitives using Idris☆121May 5, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Effectful bindings for SQLite (forked from IdrisWeb)☆40May 1, 2018Updated 8 years ago
- Software Foundations in Idris☆459May 15, 2019Updated 7 years ago
- Parser combinators for Idris☆243Apr 11, 2019Updated 7 years ago
- Learning project by a group of people interested in learning the Idris language☆50Feb 18, 2015Updated 11 years ago
- FFI Bindings to interact with the unsafe world of JavaScript☆93Oct 7, 2018Updated 8 years ago
- A port of QuickCheck to Idris☆61Oct 30, 2017Updated 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 11 years ago
- A tutorial to the Idris Programming Language.☆97Dec 16, 2015Updated 10 years ago
- A secure web framework, built in the Idris language.☆109Feb 3, 2014Updated 12 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.
- Type provider library for Idris☆94Dec 21, 2017Updated 8 years ago
- Java Code Generator for Idris☆72Feb 17, 2016Updated 10 years ago
- 2048 in Idris☆124Nov 28, 2017Updated 8 years ago
- A Dependently Typed Functional Programming Language☆3,478Feb 17, 2025Updated last year
- Static blog generator in Idris.☆40Feb 17, 2015Updated 11 years ago
- Various data structures for use in the Idris Language.☆94May 22, 2020Updated 6 years ago
- Slides and exercises for the Idris course taught at Galois☆51Oct 7, 2015Updated 11 years ago
- Python backend for Idris (generates Python source, not bytecode).☆124Oct 23, 2017Updated 9 years ago
- SDL bindings package for idris☆46Feb 26, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆39Jan 15, 2018Updated 8 years ago
- Parsers for various configuration files written in Idris.☆19Nov 8, 2017Updated 8 years ago
- Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆275May 6, 2026Updated 5 months ago
- Idris mode for vim☆221Aug 31, 2020Updated 6 years ago
- ☆12Oct 3, 2020Updated 6 years ago
- Experimental Malfunction backend for Idris☆80Jun 20, 2018Updated 8 years ago
- 𝛌 Awesome Idris resources☆414Feb 20, 2020Updated 6 years ago
- Experiments in Idris / Unity integration.☆49Sep 26, 2016Updated 10 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Jun 14, 2018Updated 8 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 Idris Mode for Atom.io☆100Jul 23, 2024Updated 2 years ago
- PeaCoq is a pretty Coq, isn't it?☆104Jul 26, 2021Updated 5 years ago
- Ring solver for Idris☆21Nov 12, 2018Updated 7 years ago
- A prototype successor to Idris☆540Jul 8, 2019Updated 7 years ago
- Idris LLVM codegen factored out☆81Jul 28, 2017Updated 9 years ago
- ☆22Sep 30, 2016Updated 10 years ago
- Yes, it is what you think it is☆33Jan 20, 2016Updated 10 years ago