Pinned Repositories
agda-cufp
CUFP tutorial 2014
akka
Akka Transactors
cairo-idris
Idris Bindings for libcairo
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.
gl-idris
glfw-idris
GLFW bindings for Idris
idris-tutorial
A tutorial to explain Idris to myself
SDL2-idris
SDL2 Bindings for the Idris programming language
eckart's Repositories
eckart/gl-idris
eckart/SDL2-idris
SDL2 Bindings for the Idris programming language
eckart/cairo-idris
Idris Bindings for libcairo
eckart/glfw-idris
GLFW bindings for Idris
eckart/idris-tutorial
A tutorial to explain Idris to myself
eckart/agda-cufp
CUFP tutorial 2014
eckart/akka
Akka Transactors
eckart/course
Functional Programming Course
eckart/CS410-14
being the materials for CS410 Advanced Functional Programming in the 2014-15 session
eckart/d3
A JavaScript visualization library for HTML and SVG.
eckart/eckart.github.io
Words. Words, Words...
eckart/fpinscala
Exercises, answers, and hints to go along with the book "Functional Programming in Scala"
eckart/Idris-dev
A Dependently Typed Functional Programming Language
eckart/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.
eckart/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.
eckart/jit
JavaScript InfoVis Toolkit - An Information Visualization Toolkit for implementing Data Visualizations for the Web
eckart/lightyear
Parser combinators for Idris
eckart/MetaprogAgda
being the materials for Summer 2013's course
eckart/MGS14
being the lecture code and exercises for Dependently Typed Programming at Midlands Graduate School 2014, in Nottingham
eckart/pi-forall
A demo implementation of a simple dependently-typed language