Git repository browser

Name	Description	Idle
agda-simplifier	[no description]	12 months
boog	[no description]	7 years
cmus-remote-node	[no description]	7 years
doomrooms-ttt	[no description]	6 years
ftilde	[no description]	3 years
ghc-cabal-build-termux	[no description]	21 months
hhexed	[no description]	9 months
mandelhs	[no description]	18 months
refactor-type-parameters	[no description]	3 years
snap-efault	[no description]	19 months
barum-ivo	A board game designed by Ivo	5 years
bfcomp	A brainfuck compiler for x86_64	6 years
chess	A chess AI	6 years
complang	A compiled language	7 years
newlanguage	A compiled language, implemented in Haskell, using LLVM	7 years
functional	A functional language	7 years
sudoku	A generic sudoku solver	6 years
lysp	A lisp-like language	7 years
gamecoder	A new alternative to Game Maker	7 years
rotatio	A simple HTML5 rotatio clone	7 years
chatserver	A simple NodeJS chat server	7 years
linearDB	A simple, linearly executed database engine	7 years
lp	A simplex-based LP solver	5 years
ede	A Sublime Text-like editor in the terminal	7 years
takuzu	A takuzu solver	7 years
histogram	A terminal histogram drawer	5 years
treetree	A treetree interpreter.	7 years
timerserver	A unix command-line timer for your own activities	7 years
math	Algebraic manipulations in Haskell	6 years
education-filter	An ad-hoc filter for http://www.cs.uu.nl/education	6 years
miniagda	An attempt to implement a dependently-typed language	3 months
Graytrace	An experimental raytracer	7 years
giraf	An interesting LaTeX lib	5 years
flogo	An MSWlogo clone in fltk	7 years
bfinter	An optimising brainfuck interpreter	6 years
first-order-exprs	Attempt at a faster first-order expression simplifier	3 years
spectrogram	Audio spectrogram	4 years
japanese-lyrics	Automatic translation of some Japanese text	4 years
bigletters	Big letters	6 years
ccomp-mar	C compiler for MAR	6 years
chainreaction	Chainreaction interactor suite	5 years
netcatchat	Chat with someone over a TCP socket	4 years
ghc-prof-reader	Command-line app for exploring GHC profiling output	2 years
git-graph	Commit graph of a Git repository	4 years
competition	Competition manager for CodeCup-like games	2 years
langhs	Compiler for a made-up language all the way to x64 asm	3 years
compcomp	Composable compiler	4 years
disk_perf	Disk write performance measurement utility	5 years
cargo-dot	DOT graph of your Rust dependencies	4 years
number	English number printer	7 years