eckart

gl-idris

SDL2-idris

SDL2 Bindings for the Idris programming language

cairo-idris

Idris Bindings for libcairo

glfw-idris

GLFW bindings for Idris

idris-tutorial

A tutorial to explain Idris to myself

agda-cufp

CUFP tutorial 2014

akka

Akka Transactors

course

Functional Programming Course

CS410-14

being the materials for CS410 Advanced Functional Programming in the 2014-15 session

d3

A JavaScript visualization library for HTML and SVG.

eckart.github.io

Words. Words, Words...

fpinscala

Exercises, answers, and hints to go along with the book "Functional Programming in Scala"

Idris-dev

A Dependently Typed Functional 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.

impress.js

It's a presentation framework based on the power of CSS3 transforms and transitions in modern browsers and inspired by the idea behind prezi.com.

jit

JavaScript InfoVis Toolkit - An Information Visualization Toolkit for implementing Data Visualizations for the Web

lightyear

Parser combinators for Idris

MetaprogAgda

being the materials for Summer 2013's course

MGS14

being the lecture code and exercises for Dependently Typed Programming at Midlands Graduate School 2014, in Nottingham

pi-forall

A demo implementation of a simple dependently-typed language