Pinned Repositories
adops
bmp
Read and write uncompressed BMP image files
dojo
Aiki Dojo Web App
gloss
Painless 2D vector graphics, animations and simulations.
horde-ad
Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation"
lambda
Simple Lambda Calculus Interpreter
papers
Latex source for various papers
why3
Haskell support for the Why3 input format
benl23x5's Repositories
benl23x5/gloss
Painless 2D vector graphics, animations and simulations.
benl23x5/bmp
Read and write uncompressed BMP image files
benl23x5/lambda
Simple Lambda Calculus Interpreter
benl23x5/papers
Latex source for various papers
benl23x5/adops
benl23x5/dojo
Aiki Dojo Web App
benl23x5/horde-ad
Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation"
benl23x5/why3
Haskell support for the Why3 input format