steshaw/adt-in-java-with-fold
Encoding algebraic data types in Java using fold
Discovered public repositories for steshaw in the GitHub catalog.
Encoding algebraic data types in Java using fold
Programming Language Theory λΠ
Play 2.1 sample ScalaTodoList app
A Scala(z)-based DSL for Apache Camel
Code from book "Handbook of Practical Logic and Automated Reasoning" by John Harrison
A journey through the Crenshaw compiler tutorial using C and x86 from back in 2004
Functional Programming Course
A short technical talk about some fun things in Haskell
Matt Stall's C# compiler in C# http://blogs.msdn.com/b/jmstall/archive/2005/02/06/368192.aspx
Public repository.
A series of lessons in WebGL
Blank project with SBT 0.7.5.RC0, Lifty 1.5 and Lift 2.2
clone of http://marijnhaverbeke.nl/git/codemirror
Sample Scala+GWT project
Javascript 3D Engine
Wouter van Oortmerssen's Cube engine/game, including changes to compile/run cleanly on Mac.
My Project Euler solutions, in various languages (intended to observe differences in languages)
Experimental text editor which runs in the browser
ShowOff Presenter on the iPad
Introduction to FOSS, for beginning programmers
The missing package manager for OS X.
Some of my (unstable unfinished probably buggy) HaXe compiler experiments. On this repo nothing is stable. Don't depend on it
Scrap Your Boilerplate instances for GHC's data types
LaTeX thesis template from http://www.cs.mun.ca/~donald/metathesis/
Examples from "Developing Linux Applications with GTK+ and GDK" by Eric Harlow
The very excellent, educational MinCaml project of Eijiro Sumii is now available at https://github.com/esumii/min-caml
Hello repo for learning Git
A tiny compiler for a toy C-like language
Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
🐚 Dotfiles and shell utilities
👨🏻🎓 Playground for learning programming languages