Paul He (Grain)

Grain

Geek Repo

Company:University of Pennsylvania

Location:Philadelphia, PA

Home Page:paulhe.com

Github PK Tool:Github PK Tool

Paul He's repositories

Versus

A two player tower defense game

GravitySlingshot

A simple gravity assist simulation

Language:C++Stargazers:1Issues:0Issues:0

InteractionTrees

Formalization of the Interaction Tree Datatype in Coq

Language:CoqLicense:MITStargazers:1Issues:0Issues:0

monkey-mpi

A simulation of the infinite monkey theorem using C++ and MPI

Language:C++Stargazers:1Issues:0Issues:0
Language:PythonStargazers:0Issues:1Issues:0
Language:C++Stargazers:0Issues:2Issues:0
Language:CStargazers:0Issues:0Issues:0
License:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0

FreeSpec

Modular Verification of Programs with Effects and Effect Handlers

Language:CoqLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:5Issues:0
Stargazers:0Issues:1Issues:0

heapster-saw

Implementation of the Heapster type system of separation types inside SAW, including a translation to SAW core

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

homework1

Homework 1 Introduction To Rust

Stargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0

iPodPedometer

A program that parses and displays pedometer data from iPod Nanos

Language:C++Stargazers:0Issues:0Issues:0

plfa.github.io

Introduction to programming language theory in Agda

License:CC-BY-4.0Stargazers:0Issues:0Issues:0

saw-script

The SAW scripting language.

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

see-code-parser

Parses C code and outputs a JSON file of the code structure and contents

Language:C++Stargazers:0Issues:0Issues:0

Snake

A networked multiplayer game of snake

Language:C++Stargazers:0Issues:2Issues:0

stringfuzz

Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.

Language:PythonStargazers:0Issues:0Issues:0

SumoBall

A two player sumo game with bouncy balls

Language:C++Stargazers:0Issues:0Issues:0
Language:CoqStargazers:0Issues:0Issues:0

Todo

A simple todo list manager written in python with Google Tasks support.

Language:PythonStargazers:0Issues:2Issues:0

vellvm

The Vellvm II coq development.

Language:CoqLicense:NOASSERTIONStargazers:0Issues:2Issues:0