tranma Goto Github PK

almost-complexity

complexity testing for haskell

almost-refinement

agile data refinement for the aspiring blue collar programmer

arm-edsl

asm embedding experiment

balloon

woo

cameo

a shell like language easily embeddable into OCaml

cogent

Proof-Code Cogeneration

criterion

A powerful but simple library for measuring the performance of Haskell code.

dotfiles

emacs, zsh, git...

dotfiles-1

Config files

falling-turnip

falling sand game with regular parallel arrays.

hakaru

A probabilistic programming language

haskell-hedgehog

Hedgehog will eat all your bugs.

horde-ad

Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation"

mafia

Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.

optparse-th

for when you really don't want to write any options parsing code

pot

operational transform server/client

runestone

shitty-statistics

Like statistics, but shit.

sixten

Functional programming with fewer indirections

tranma.github.io

a placeholder until I sort out my old domain(s)

tricks

representation/compiler techniques illustrated with the exciting untyped lambda calculus