jasonreich/CodeMirror
In-browser code editor
Developer Profile
jasonreich
Discovered public repositories for jasonreich in the GitHub catalog.
jasonreich/jade_npp
Notepad++ syntax highlighting for Jade
jasonreich/underbaked
Experiments with Geolocation
jasonreich/jasonreich.github.io
Personal homepage
jasonreich/d3
A JavaScript visualization library for HTML and SVG.
jasonreich/PartialValues
Dealing with Haskell values that we expect to contain exceptions.
jasonreich/ProgGen
Lazy generation of small canonical programs
jasonreich/FliterSC
Supercompiler for F-liter, based on Bollingbroke & Peyton-Jones (2010)
jasonreich/FliterSemantics
Various descriptions of the semantics of f-liter.
jasonreich/ProofKata
Over the last three years, I've played with more theorem provers than I can actually remember. As I redescover small examples, I shall put them up here for posterity.