idris-hackers Goto Github PK

atom-language-idris

A Idris Mode for Atom.io

eff-tutorial

An old tutorial for using `Effects` in Idris.

idris-algebra

This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"

idris-array

primitive flat arrays containing Idris values

idris-bot

An IRC bot connected to an Idris REPL

idris-challenges

A repository containing interesting challenges to be solved in the Idris programming language

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-crypto

Implementation of cryptographic primitives using Idris

idris-demos

Collection of Idris tests and demonstration programs

idris-extras

Various minor modes for editors and some tool support.

idris-free

Free Monads and useful constructions to work with them

idris-hackers.github.io

idris-java

Java Code Generator for Idris

idris-java-rts

Java Runtime System for the Idris Programming Language

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-lens

idris-llvm

Idris LLVM codegen factored out

idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

idris-posix

System POSIX bindings for Idris.

idris-sublime

A Plugin to use Idris with Sublime

idris-time

A dependently-typed implementation of ISO 8601.

idris-vim

Idris mode for vim

idrispkgs

Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!

idrisscript

FFI Bindings to interact with the unsafe world of JavaScript

idrisweb

A secure web framework, built in the Idris language.

iquery

Idris Lib to interact with the DOM and Browser API for the JavaScript backend

software-foundations

Software Foundations in Idris

travis-build

.travis.yml => build.sh converter

usb

libusb binding for idris and Effectful USB programming