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