Git repository browser
Some projects by Tom Smeding.
index
about
Name
Description
Idle
agda-simplifier
[no description]
13 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]
22 months
ghc-prof-dyn-repro
[no description]
3 days
hhexed
[no description]
10 months
mandelhs
[no description]
19 months
refactor-type-parameters
[no description]
3 years
snap-efault
[no description]
20 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
3 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
[1]
[2]
[3]