idris-hackers/idris-sublime

Stars
27
Rank 905,827 (Top 18 %)
Language
Python
License
MIT License
Created over 9 years ago
Updated almost 4 years ago

idris-hackers/idris-sublime

idris-hackers

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A Plugin to use Idris with Sublime

software-foundations

Software Foundations in Idris

idris-mode

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

idris-vim

Idris mode for vim

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

Implementation of cryptographic primitives using Idris

IdrisWeb

A secure web framework, built in the Idris language.

atom-language-idris

A Idris Mode for Atom.io

IdrisScript

FFI Bindings to interact with the unsafe world of JavaScript

idris-llvm

Idris LLVM codegen factored out

idris-java

Java Code Generator for Idris

iQuery

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

idris-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 them

eff-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 programming

idris-bot

An IRC bot connected to an Idris REPL

idris-java-rts

Java Runtime System for the Idris Programming Language

idris-extras

Various minor modes for editors and some tool support.

idris-array

primitive flat arrays containing Idris values

idris-time

A dependently-typed implementation of ISO 8601.