indexabout
NameDescriptionIdle
agda-simplifier[no description]20 months
boog[no description]8 years
cmus-remote-node[no description]8 years
doomrooms-ttt[no description]7 years
ftilde[no description]3 years
ghc-cabal-build-termux[no description]2 years
ghc-prof-dyn-repro[no description]7 months
haddock-th-foreign-repro[no description]5 months
hhexed[no description]16 months
mandelhs[no description]2 years
refactor-type-parameters[no description]3 years
snap-efault[no description]2 years
barum-ivoA board game designed by Ivo 6 years
bfcompA brainfuck compiler for x86_64 7 years
chessA chess AI 7 years
complangA compiled language 8 years
newlanguageA compiled language, implemented in Haskell, using LLVM 8 years
functionalA functional language 8 years
sudokuA generic sudoku solver 6 years
lyspA lisp-like language 8 years
gamecoderA new alternative to Game Maker 8 years
rotatioA simple HTML5 rotatio clone 8 years
chatserverA simple NodeJS chat server 8 years
linearDBA simple, linearly executed database engine 8 years
lpA simplex-based LP solver 6 years
edeA Sublime Text-like editor in the terminal 8 years
takuzuA takuzu solver 8 years
histogramA terminal histogram drawer 5 years
treetreeA treetree interpreter. 8 years
timerserverA unix command-line timer for your own activities 8 years
mathAlgebraic manipulations in Haskell 7 years
education-filterAn ad-hoc filter for http://www.cs.uu.nl/education 6 years
miniagdaAn attempt to implement a dependently-typed language 10 months
GraytraceAn experimental raytracer 8 years
girafAn interesting LaTeX lib 5 years
flogoAn MSWlogo clone in fltk 8 years
bfinterAn optimising brainfuck interpreter 7 years
first-order-exprsAttempt at a faster first-order expression simplifier 4 years
spectrogramAudio spectrogram 5 years
japanese-lyricsAutomatic translation of some Japanese text 5 years
biglettersBig letters 7 years
ccomp-marC compiler for MAR 7 years
chainreactionChainreaction interactor suite 5 years
netcatchatChat with someone over a TCP socket 5 years
ghc-prof-readerCommand-line app for exploring GHC profiling output 3 years
git-graphCommit graph of a Git repository 5 years
competitionCompetition manager for CodeCup-like games 3 years
langhsCompiler for a made-up language all the way to x64 asm 4 years
compcompComposable compiler 4 years
dependent-enummapDependent version of Data.EnumMap 7 weeks