Trending in open source
See what the GitHub community is most excited about today.
Sign up for free to get started
-
puffnfresh / iridium
xmonad with the X11 abstracted and configured with Idris
-
KesterTong / idris2048
2048 in Idris
-
idris-hackers / idris-demos
Collection of Idris tests and demonstration programs
-
idris-hackers / idris-koans
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.
-
ziman / lightyear
Parser combinators for Idris
-
timjb / quantities
Type-safe physical computations and unit conversions in Idris
-
idris-hackers / idris-crypto
Implementation of cryptographic primitives using Idris
-
ToJans / idris101
Learning project by a group of people interested in learning the Idris language
-
david-christiansen / idris-type-providers
Type provider library for Idris
-
SimonJF / IdrisNet2
A proper network library for Idris, now that I know what I'm doing.
-
idris-hackers / IdrisScript
FFI Bindings to interact with the unsafe world of JavaScript
-
david-christiansen / IdrisAtGalois2015
Slides and exercises for the Idris course taught at Galois
-
fmota / HoTT-Idris
HoTT in Idris
-
edwinb / SDL-idris
SDL bindings package for idris
-
idris-hackers / iQuery
Idris Lib to interact with the DOM and Browser API for the JavaScript backend
-
david-christiansen / idris-quickcheck
A port of QuickCheck to Idris
-
david-christiansen / IdrisSqlite
Effectful bindings for SQLite (forked from IdrisWeb)
-
stepcut / idris-blink
A simple Idris program to blink the LED on an Arduino
-
japesinator / tarts
Timing attack resistant type systems
-
andyarvanitis / IdrisObjCExperiment
-
puffnfresh / bam-idris-blog
Static blog generator in Idris.
-
edwinb / WS-idr
Yes, it is what you think it is
-
jfdm / idris-containers
Various data structures for use in the Idris Language.
-
idris-hackers / idris-cph-exercises
Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
-
reynir / Verified
A collection of proofs for some idris class instances