enolan/Idris-dev
A Dependently Typed Functional Programming Language
Developer Profile
enolan
Discovered public repositories for enolan in the GitHub catalog.
enolan/quake2vr
Quake II for Oculus Rift
enolan/idris-tutorial
A tutorial to the Idris Programming Language.
enolan/twine
UI for creating hypertext stories
enolan/haskell-ci
Continuous integration tool, written in haskell
enolan/rdtsc-enolan
Haskell binding to sources of high-efficiency, high-precision, monotonically increasing relative time on a variety of architectures
enolan/reactive-banana
Reactive-banana is a library for functional reactive programming, written in the beautiful language Haskell.
enolan/rbsttp
Reactive Banana - Straight to the Point - tutorial code
enolan/poclbm
PyOpenCL bitcoin miner
enolan/whiteout-test-data
Test data submodule for whitout.
enolan/whiteout
A BitTorrent client library in Haskell