cassiebaer/Idris-dev
A Dependently Typed Functional Programming Language
Developer Profile
cassiebaer
Discovered public repositories for cassiebaer in the GitHub catalog.
cassiebaer/TrackMateSessionMatlab
A script for a friend which parses a TrackMate session file and returns the tracks
cassiebaer/ucph-msc-thesis-dpdt
Masters Thesis - Differential Privacy + Dependent Types
cassiebaer/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.
cassiebaer/hs-carbon-examples
Examples of Monte Carlo simulations written with Carbon
cassiebaer/hs-carbon
A Haskell framework for (parallel) Monte Carlo simulations
cassiebaer/hs-rebin
Haskell implementation of a queue-based "rebinner"
cassiebaer/hs-monte-carlo
A Monte Carlo monad and transformer for Haskell.
cassiebaer/icasperzen.github.io
Personal website
cassiebaer/cryptocat
Web chat client with client-side cryptography.