idris-hackers/idris-algebra
This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
Developer Profile
idris-hackers
Discovered public repositories for idris-hackers in the GitHub catalog.
idris-hackers/idris-time
A dependently-typed implementation of ISO 8601.
idris-hackers/idris-posix
System POSIX bindings for Idris.
idris-hackers/idrispkgs
Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
idris-hackers/idris-java
Java Code Generator for Idris
idris-hackers/IdrisScript
FFI Bindings to interact with the unsafe world of JavaScript
idris-hackers/idris-lens
Public repository.
idris-hackers/idris-llvm
Idris LLVM codegen factored out
idris-hackers/iQuery
Idris Lib to interact with the DOM and Browser API for the JavaScript backend
idris-hackers/atom-language-idris
A Idris Mode for Atom.io
idris-hackers/idris-crypto
Implementation of cryptographic primitives using Idris
idris-hackers/eff-tutorial
An old tutorial for using `Effects` in Idris.
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-hackers/idris-demos
Collection of Idris tests and demonstration programs
idris-hackers/idris-hackers.github.io
Public repository.
idris-hackers/usb
libusb binding for idris and Effectful USB programming
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-hackers/idris-bot
An IRC bot connected to an Idris REPL
idris-hackers/idris-vim
Idris mode for vim
idris-hackers/idris-java-rts
Java Runtime System for the Idris Programming Language
idris-hackers/IdrisWeb
A secure web framework, built in the Idris language.
idris-hackers/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.