Idris Hackers

icon indicating a website link http://idris-hackers.github.io/

Results 18 repositories owned by Idris Hackers

idris-cph-exercises

23
Stars
5
Forks
Watchers

Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.

verified publisher icon idris-hackers

idris-java

71
Stars
9
Forks
Watchers

Java Code Generator for Idris

verified publisher icon idris-hackers

idris-llvm

78
Stars
13
Forks
Watchers

Idris LLVM codegen factored out

verified publisher icon idris-hackers

idris-posix

34
Stars
8
Forks
Watchers

System POSIX bindings for Idris.

verified publisher icon idris-hackers

idris-sublime

27
Stars
11
Forks
Watchers

A Plugin to use Idris with Sublime

verified publisher icon idris-hackers

idrispkgs

28
Stars
4
Forks
Watchers

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

verified publisher icon idris-hackers

IdrisScript

88
Stars
11
Forks
Watchers

FFI Bindings to interact with the unsafe world of JavaScript

verified publisher icon idris-hackers

iQuery

40
Stars
11
Forks
Watchers

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

verified publisher icon idris-hackers