cassiebaer

hs-carbon

A Haskell framework for (parallel) Monte Carlo simulations

ucph-msc-thesis-dpdt

Masters Thesis - Differential Privacy + Dependent Types

hs-carbon-examples

Examples of Monte Carlo simulations written with Carbon

cryptocat

Web chat client with client-side cryptography.

mitosis

Docker compiler service

TrackMateSessionMatlab

A script for a friend which parses a TrackMate session file and returns the tracks

elm-lang.org

The full source for http://elm-lang.org/, the home-page of the Elm programming language. Open sourced as a way to teach people how to write and serve Elm code. Follow the instructions in README.md to get the site setup on your own machine.

EtherList

A reputation-based, transaction-oriented platform

EtherRep

Very basic exploration of reputation system on blockchain

hs-monte-carlo

A Monte Carlo monad and transformer for Haskell.

hs-rebin

Haskell implementation of a queue-based "rebinner"

icasperzen.github.io

Personal website

Idris-dev

A Dependently Typed Functional Programming Language

mosquitobanusa.com

MosquitoBanUSA

Rumi