idris-hackers/idris-mode

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

Language: Emacs Lisp - Size: 1.14 MB - Last synced: 12 days ago - Pushed: 27 days ago - Stars: 261 - Forks: 70

idris-hackers/travis-build Fork of travis-ci/travis-build

.travis.yml => build.sh converter

Language: Ruby - Size: 5.84 MB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

idris-hackers/idris-java-rts

Java Runtime System for the Idris Programming Language

Language: Java - Size: 387 KB - Last synced: about 2 months ago - Pushed: over 8 years ago - Stars: 10 - Forks: 3

idris-hackers/idris-challenges

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

Size: 0 Bytes - Last synced: about 2 months ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

idris-hackers/idris-array

primitive flat arrays containing Idris values

Language: Idris - Size: 2.93 KB - Last synced: about 2 months ago - Pushed: about 4 years ago - Stars: 6 - Forks: 5

idris-hackers/IdrisWeb

A secure web framework, built in the Idris language.

Language: TeX - Size: 925 KB - Last synced: about 2 months ago - Pushed: over 10 years ago - Stars: 109 - Forks: 6

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.

Language: Idris - Size: 15.6 KB - Last synced: about 2 months ago - Pushed: about 6 years ago - Stars: 174 - Forks: 27

idris-hackers/software-foundations

Software Foundations in Idris

Language: Idris - Size: 4.25 MB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 446 - Forks: 34

idris-hackers/idris-vim

Idris mode for vim

Language: Vim script - Size: 87.9 KB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 221 - Forks: 52

idris-hackers/idris-crypto

Implementation of cryptographic primitives using Idris

Language: Idris - Size: 76.2 KB - Last synced: about 2 months ago - Pushed: about 6 years ago - Stars: 121 - Forks: 13

idris-hackers/idris-free

Free Monads and useful constructions to work with them

Language: Idris - Size: 4.88 KB - Last synced: about 2 months ago - Pushed: almost 6 years ago - Stars: 26 - Forks: 10

idris-hackers/idris-llvm

Idris LLVM codegen factored out

Language: Haskell - Size: 118 KB - Last synced: about 2 months ago - Pushed: almost 7 years ago - Stars: 78 - Forks: 13

idris-hackers/idris-demos

Collection of Idris tests and demonstration programs

Language: Idris - Size: 60.5 KB - Last synced: about 2 months ago - Pushed: about 6 years ago - Stars: 191 - Forks: 13

idris-hackers/idris-java

Java Code Generator for Idris

Language: Haskell - Size: 282 KB - Last synced: about 2 months ago - Pushed: over 8 years ago - Stars: 71 - Forks: 9

idris-hackers/idris-posix

System POSIX bindings for Idris.

Language: Idris - Size: 12.7 KB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 34 - Forks: 8

idris-hackers/idris-sublime

A Plugin to use Idris with Sublime

Language: Python - Size: 46.9 KB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 27 - Forks: 11

idris-hackers/IdrisScript

FFI Bindings to interact with the unsafe world of JavaScript

Language: Idris - Size: 45.9 KB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 88 - Forks: 11

idris-hackers/idris-time

A dependently-typed implementation of ISO 8601.

Size: 0 Bytes - Last synced: about 2 months ago - Pushed: over 9 years ago - Stars: 3 - Forks: 0

idris-hackers/idris-bot

An IRC bot connected to an Idris REPL

Language: Haskell - Size: 262 KB - Last synced: about 2 months ago - Pushed: over 8 years ago - Stars: 10 - Forks: 3

idris-hackers/atom-language-idris

A Idris Mode for Atom.io

Language: TypeScript - Size: 425 KB - Last synced: about 2 months ago - Pushed: 3 months ago - Stars: 99 - Forks: 24

idris-hackers/usb

libusb binding for idris and Effectful USB programming

Language: C - Size: 137 KB - Last synced: about 2 months ago - Pushed: over 10 years ago - Stars: 11 - Forks: 4

idris-hackers/idris-algebra

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

Language: Idris - Size: 5.86 KB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 18 - Forks: 9

idris-hackers/iQuery

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

Language: Idris - Size: 252 KB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 40 - Forks: 11

idris-hackers/idris-lens

Language: Idris - Size: 8.79 KB - Last synced: about 2 months ago - Pushed: over 7 years ago - Stars: 22 - Forks: 5

idris-hackers/idris-extras

Various minor modes for editors and some tool support.

Language: TeX - Size: 206 KB - Last synced: about 2 months ago - Pushed: over 7 years ago - Stars: 6 - Forks: 4

idris-hackers/idrispkgs

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

Language: Nix - Size: 189 KB - Last synced: about 2 months ago - Pushed: over 8 years ago - Stars: 28 - Forks: 4

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.

Language: Idris - Size: 165 KB - Last synced: about 2 months ago - Pushed: over 8 years ago - Stars: 23 - Forks: 5

idris-hackers/eff-tutorial

An old tutorial for using `Effects` in Idris.

Language: TeX - Size: 439 KB - Last synced: about 2 months ago - Pushed: over 8 years ago - Stars: 24 - Forks: 5

idris-hackers/idris-hackers.github.io

Language: JavaScript - Size: 3.3 MB - Last synced: about 2 months ago - Pushed: over 10 years ago - Stars: 0 - Forks: 1