gelisam/cabal-rangefinder
A tool to fill in the version ranges in a cabal file.
Developer Profile
gelisam
Discovered public repositories for gelisam in the GitHub catalog.
gelisam/evercal
Display notes from Evernote on a calendar.
gelisam/ghc-android
Build scripts for building ghc cross compilers targeting Android
gelisam/slides
A place to host my git-slides presentations
gelisam/submake
Use git to replay part of a bash pipeline.
gelisam/git-slides
Text-based slides using vim and git.
gelisam/tic-tac-top
The AI for a tiny board game I invented.
gelisam/hawk
Haskell text processor for the command-line
gelisam/commutative
Using Haskell's type system to guarantee commutativity.
gelisam/book
A textbook on informal homotopy type theory
gelisam/queues
Compare the performance of a few Haskell queue implementations.
gelisam/objc2java
Convert pure ObjectiveC code to pure Java code, libraries be damned.
gelisam/conway
Demonstrating comonad transformers.
gelisam/hs-promote
C++-style type promotion for Haskell's numeric hierarchy
gelisam/lambda-nogc
Proof of concept that the lambda-calculus doesn't need a garbage-collector.
gelisam/dotfiles
My default setup, including config files and shell scripts.
gelisam/glut-events
For writing GLUT's main loop in the style of Haskell's main function.
gelisam/restfb
RestFB is a simple and flexible Facebook Graph API and Old REST API client written in Java.
gelisam/caledon
logic programing
gelisam/toy-factory
A tool for creating toy languages and experimenting with them.
gelisam/game-off-2012
This is our entry for GitHub Game Off 2012, play it here:
gelisam/freshbooks.py
The Python interface to the FreshBooks API
gelisam/Substrate
Substrate is a GUI tool which makes it easy to build text processing pipelines.
gelisam/circular-sig
a twelf-like type-checker supporting recursive signatures
gelisam/agda-playground
a series of ambitious experiments in the functional language / proof assistant Agda.