Shawn's repositories
martin-lof
papers of Per Martin Löf
spartan-type-theory
Spartan type theory
Anathema
.NET instrumentation framework
autoclave
repeatedly run programs until they break, and be ready to attach a debugger
awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
babel-handbook
:blue_book: A guided handbook on how to use Babel and how to create plugins for Babel.
concurrent-trees
Concurrent Radix and Suffix Trees for Java
datafrog
A lightweight Datalog engine in Rust
dgsh
Shell supporting pipelines to and from multiple processes
differential-datalog
An in-memory incremental Datalog engine based on Differential Dataflow
fourier
An Interactive Introduction to Fourier Transforms
haskell-nix
Nix and Haskell in production
jAEk
This is the repository for JÄk. I created it as prototype during my masterthesis.
janala2
a concolic testing engine for Java
jbse
A symbolic Java virtual machine for program analysis, verification and test generation
kiwi-solver
Kiwi is a minimalist and extendable Constraint Programming (CP) solver.
micro-lisp
🎄A very small Lisp programming language 😀that used to be under 200 lines of C🎄
oplss-notes-2019
Notes and handouts from OPLSS 2019
pie
The Pie language, which accompanies The Little Typer by Friedman and Christiansen
PyExZ3
Python Exploration with Z3
radamsa
a general-purpose fuzzer
rmsbolt
pony mode WIP
Serial
Light-weight, fast framework for object serialization in Java, with Android support.
type-inference
Automatically exported from code.google.com/p/type-inference
WALA
T.J. Watson Libraries for Analysis