Git repository browser
Some projects by Tom Smeding.
index
about
Name
Description
Idle
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-ivo
A board game designed by Ivo
6 years
bfcomp
A brainfuck compiler for x86_64
7 years
chess
A chess AI
7 years
complang
A compiled language
8 years
newlanguage
A compiled language, implemented in Haskell, using LLVM
8 years
functional
A functional language
8 years
sudoku
A generic sudoku solver
6 years
lysp
A lisp-like language
8 years
gamecoder
A new alternative to Game Maker
8 years
rotatio
A simple HTML5 rotatio clone
8 years
chatserver
A simple NodeJS chat server
8 years
linearDB
A simple, linearly executed database engine
8 years
lp
A simplex-based LP solver
6 years
ede
A Sublime Text-like editor in the terminal
8 years
takuzu
A takuzu solver
8 years
histogram
A terminal histogram drawer
5 years
treetree
A treetree interpreter.
8 years
timerserver
A unix command-line timer for your own activities
8 years
math
Algebraic manipulations in Haskell
7 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
10 months
Graytrace
An experimental raytracer
8 years
giraf
An interesting LaTeX lib
5 years
flogo
An MSWlogo clone in fltk
8 years
bfinter
An optimising brainfuck interpreter
7 years
first-order-exprs
Attempt at a faster first-order expression simplifier
4 years
spectrogram
Audio spectrogram
5 years
japanese-lyrics
Automatic translation of some Japanese text
5 years
bigletters
Big letters
7 years
ccomp-mar
C compiler for MAR
7 years
chainreaction
Chainreaction interactor suite
5 years
netcatchat
Chat with someone over a TCP socket
5 years
ghc-prof-reader
Command-line app for exploring GHC profiling output
3 years
git-graph
Commit graph of a Git repository
5 years
competition
Competition manager for CodeCup-like games
3 years
langhs
Compiler for a made-up language all the way to x64 asm
4 years
compcomp
Composable compiler
4 years
dependent-enummap
Dependent version of Data.EnumMap
7 weeks
[1]
[2]
[3]