Trending in open source
See what the GitHub community is most excited about today.
Sign up for free to get started
-
xmonad with the X11 abstracted and configured with Idris
-
JVM bytecode backend for Idris
-
Collection of Idris tests and demonstration programs
-
Parser combinators for Idris
-
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.
-
2048 in Idris
-
Type-safe physical computations and unit conversions in Idris ⚖
🌡 ⏲ 🔋 📐 -
Implementation of cryptographic primitives using Idris
-
Software Foundations in Idris
-
Type provider library for Idris
-
FFI Bindings to interact with the unsafe world of JavaScript
-
A proper network library for Idris, now that I know what I'm doing.
-
Learning project by a group of people interested in learning the Idris language
-
HoTT in Idris
-
Slides and exercises for the Idris course taught at Galois
-
Experiments in Idris / Unity integration.
-
Various data structures for use in the Idris Language.
-
A port of QuickCheck to Idris
-
Sample code from "Type Driven Development with Idris"
-
SDL bindings package for idris
-
Idris Lib to interact with the DOM and Browser API for the JavaScript backend
-
State machines in Idris
-
Effectful bindings for SQLite (forked from IdrisWeb)
-
Static blog generator in Idris.
-
A simple Idris program to blink the LED on an Arduino
