Pinned Repositories
cogent
Cogent Project
adops
icicle-ambiata
A streaming query language.
horde-ad
Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation"
almost-complexity
complexity testing for haskell
falling-turnip
falling sand game with regular parallel arrays.
optparse-th
for when you really don't want to write any options parsing code
pot
operational transform server/client
shitty-statistics
Like statistics, but shit.
tranma's Repositories
tranma/falling-turnip
falling sand game with regular parallel arrays.
tranma/almost-complexity
complexity testing for haskell
tranma/shitty-statistics
Like statistics, but shit.
tranma/pot
operational transform server/client
tranma/optparse-th
for when you really don't want to write any options parsing code
tranma/almost-refinement
agile data refinement for the aspiring blue collar programmer
tranma/arm-edsl
asm embedding experiment
tranma/balloon
woo
tranma/cameo
a shell like language easily embeddable into OCaml
tranma/cogent
Proof-Code Cogeneration
tranma/criterion
A powerful but simple library for measuring the performance of Haskell code.
tranma/dotfiles
emacs, zsh, git...
tranma/dotfiles-1
Config files
tranma/hakaru
A probabilistic programming language
tranma/haskell-hedgehog
Hedgehog will eat all your bugs.
tranma/horde-ad
Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation"
tranma/mafia
Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.
tranma/runestone
tranma/sixten
Functional programming with fewer indirections
tranma/tranma.github.io
a placeholder until I sort out my old domain(s)
tranma/tricks
representation/compiler techniques illustrated with the exciting untyped lambda calculus