Shawn's repositories
BBChop
bisection algorithm which works on intermittent bugs
000
cKanren
Constraint programming language embedded in Racket
000
free-monad-java
Free Monad in Java
000
free-programming-books
:books: Freely available programming books
Unlicense000
jvm-mechanics
Presentation & Code Samples Showing Compilation & Deoptimization Behavior of HotSpot
Language:Java000
performance-bug-detector
An application that detects performance bugs in Java programs.
Apache-2.0000
petrol
A simple event-handling framework for ClojureScript projects.
Language:ClojureEPL-1.0000
scheme-to-c
A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)
Language:SchemeMIT000
Language:Coq000
travioli
Travioli: A Dynamic Analysis for Detecting Data-Structure Traversals
Language:Python000