There are no reviews yet. Be the first to send feedback to the community and the maintainers!
software-foundations
Software Foundations in Idrisidris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.idris-vim
Idris mode for vimidris-demos
Collection of Idris tests and demonstration programsidris-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-crypto
Implementation of cryptographic primitives using IdrisIdrisWeb
A secure web framework, built in the Idris language.atom-language-idris
A Idris Mode for Atom.ioIdrisScript
FFI Bindings to interact with the unsafe world of JavaScriptidris-llvm
Idris LLVM codegen factored outidris-java
Java Code Generator for IdrisiQuery
Idris Lib to interact with the DOM and Browser API for the JavaScript backendidris-posix
System POSIX bindings for Idris.idrispkgs
Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!idris-free
Free Monads and useful constructions to work with themeff-tutorial
An old tutorial for using `Effects` in Idris.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-lens
idris-algebra
This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"usb
libusb binding for idris and Effectful USB programmingidris-bot
An IRC bot connected to an Idris REPLidris-java-rts
Java Runtime System for the Idris Programming Languageidris-extras
Various minor modes for editors and some tool support.idris-array
primitive flat arrays containing Idris valuesidris-time
A dependently-typed implementation of ISO 8601.Love Open Source and this site? Check out how you can help us