Pinned Repositories
atom-language-idris
A Idris Mode for Atom.io
idris-crypto
Implementation of cryptographic primitives using Idris
idris-demos
Collection of Idris tests and demonstration programs
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-llvm
Idris LLVM codegen factored out
idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
idris-vim
Idris mode for vim
IdrisScript
FFI Bindings to interact with the unsafe world of JavaScript
IdrisWeb
A secure web framework, built in the Idris language.
software-foundations
Software Foundations in Idris
Idris Hackers's Repositories
idris-hackers/software-foundations
Software Foundations in Idris
idris-hackers/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
idris-hackers/idris-vim
Idris mode for vim
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.
idris-hackers/idris-crypto
Implementation of cryptographic primitives using Idris
idris-hackers/IdrisWeb
A secure web framework, built in the Idris language.
idris-hackers/atom-language-idris
A Idris Mode for Atom.io
idris-hackers/IdrisScript
FFI Bindings to interact with the unsafe world of JavaScript
idris-hackers/idris-llvm
Idris LLVM codegen factored out
idris-hackers/idris-java
Java Code Generator for Idris
idris-hackers/iQuery
Idris Lib to interact with the DOM and Browser API for the JavaScript backend
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-sublime
A Plugin to use Idris with Sublime
idris-hackers/idris-free
Free Monads and useful constructions to work with them
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-lens
idris-hackers/idris-algebra
This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
idris-hackers/usb
libusb binding for idris and Effectful USB programming
idris-hackers/idris-bot
An IRC bot connected to an Idris REPL
idris-hackers/idris-java-rts
Java Runtime System for the Idris Programming Language
idris-hackers/idris-array
primitive flat arrays containing Idris values
idris-hackers/idris-extras
Various minor modes for editors and some tool support.
idris-hackers/idris-time
A dependently-typed implementation of ISO 8601.
idris-hackers/idris-challenges
A repository containing interesting challenges to be solved in the Idris programming language
idris-hackers/idris-hackers.github.io
idris-hackers/travis-build
.travis.yml => build.sh converter