Benjamin Steenhoek's repositories
obsidian-starter-templates
:rocket: Starter templates for Obsidian.md
manybugs-scripts
Scripts for the ManyBugs benchmark
angelix
Semantic program repair system for C programs
mujoco-py
MuJoCo is a physics engine for detailed, efficient rigid body simulations with contacts. mujoco-py allows using MuJoCo from Python 3.
verisec
A suite of examples of buffer overflows in open source software, for benchmarking static analysis tools
corebench
CoREBench: Errors in Find, Grep, Make. Forked for use in ISU PAL (http://web.cs.iastate.edu/~weile/researchgroup.html) with additional scripts for building on CentOS 8.
gym
A toolkit for developing and comparing reinforcement learning algorithms.
sv-benchmarks
Collection of Verification Tasks
pong
The age-old game of Pong, from the Atari.
snake
Snake. Enjoy!
nn-tutorial
Tutorial for neural networks in PyTorch
cartpole-pytorch
OpenAI Gym Cartpole in PyTorch
pycparser
:snake: Complete C99 parser in pure Python
macer
MACER: A Modular Framework for Accelerated Compilation Error Repair
awsip
Update the IP of my Route 53 record if it's been changed
.dotfiles
My dotfiles for Arch Linux
gol-gui
A GUI for Conway's Game of Life that I wrote as a TA, used as an exercise in COM S 227.
typography.js
A powerful toolkit for building websites with beautiful design
dfs
A distributed file system that facilitates Internet file access, written for Project 2 in COM S 554 Distributed Systems class.