ShellCheck, a static analysis tool for shell scripts

Parsing, analyzing, and comparing source code across many languages

lamdu - towards the next generation IDE

Type inference and checking for a safer JavaScript.

Typed frontend to TensorFlow and higher-order deep learning

Symbolic Program Slicing with LLVM

Symbolic execution engine for toy language.

Software specification and verification system based on graph rewriting

Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.

code and exploit for 33C3 CTF task 'coercive'