Paul He's repositories
GravitySlingshot
A simple gravity assist simulation
InteractionTrees
Formalization of the Interaction Tree Datatype in Coq
monkey-mpi
A simulation of the infinite monkey theorem using C++ and MPI
FreeSpec
Modular Verification of Programs with Effects and Effect Handlers
heapster-saw
Implementation of the Heapster type system of separation types inside SAW, including a translation to SAW core
homework1
Homework 1 Introduction To Rust
iPodPedometer
A program that parses and displays pedometer data from iPod Nanos
plfa.github.io
Introduction to programming language theory in Agda
saw-script
The SAW scripting language.
see-code-parser
Parses C code and outputs a JSON file of the code structure and contents
stringfuzz
Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
SumoBall
A two player sumo game with bouncy balls