Ben Lippmeier (benl23x5)

benl23x5

Geek Repo

Company:Ghost Locomotion

Location:Sydney, Australia

Home Page:http://benl.ouroborus.net

Github PK Tool:Github PK Tool


Organizations
discus-lang
fp-syd
haskell-repa
rainfall-lang
vertigotechnology

Ben Lippmeier's repositories

gloss

Painless 2D vector graphics, animations and simulations.

bmp

Read and write uncompressed BMP image files

Language:HaskellLicense:NOASSERTIONStargazers:10Issues:0Issues:0

lambda

Simple Lambda Calculus Interpreter

Language:HaskellStargazers:6Issues:0Issues:0

papers

Latex source for various papers

Language:TeXStargazers:2Issues:0Issues:0
Language:FutharkStargazers:1Issues:2Issues:0

dojo

Aiki Dojo Web App

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:4Issues:93

horde-ad

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

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

why3

Haskell support for the Why3 input format

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0