lambdageek/emile
Extensible ML for Interesting Experiments
Developer Profile
lambdageek
Discovered public repositories for lambdageek in the GitHub catalog.
lambdageek/mono
Mono open source ECMA CLI, C# and .NET implementation.
lambdageek/blank-reveal
Skeleton Reveal.js presentation
lambdageek/unbound-generics
Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
lambdageek/typed-seq
Type-directed sequences (ala van der Ploeg and Kiselyov)
lambdageek/gamble
Probabilistic Programming
lambdageek/gust
Small language with Pierce/Turner type inference
lambdageek/lambdageek.github.io
Public repository.
lambdageek/two-level-lex
A peculiar little language
lambdageek/pi-forall
A demo implementation of a simple dependently-typed language for OPLSS 2013
lambdageek/memento-experiment
Experiment in abstracting the Memento design pattern into a reusable C++ template