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
Language:C000
BSD-3-Clause000
Language:C++000
Language:C++000
FreeSpec
Modular Verification of Programs with Effects and Effect Handlers
Language:CoqGPL-3.0000
heapster-saw
Implementation of the Heapster type system of separation types inside SAW, including a translation to SAW core
BSD-3-Clause000
homework1
Homework 1 Introduction To Rust
000
Language:C++000
iPodPedometer
A program that parses and displays pedometer data from iPod Nanos
Language:C++000
plclub-web
A Hakyll [plclub] website (https://www.cis.upenn.edu/~plclub/)
000
plfa.github.io
Introduction to programming language theory in Agda
CC-BY-4.0000
saw-script
The SAW scripting language.
BSD-3-Clause000
see-code-parser
Parses C code and outputs a JSON file of the code structure and contents
Language:C++000
stringfuzz
Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
Language:Python000
SumoBall
A two player sumo game with bouncy balls
Language:C++000
Language:Coq000