Eric Rizzi's repositories
green-solver
Automatically exported from code.google.com/p/green-solver
cgc-release-documentation
DARPA Cyber Grand Challenge Documentation
StateMatching
Abstract Symbolic State Matching
the-omega-project
Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega Calculator" (text interface); the "Omega Test" for depedence analysis; the "Uniform Library" for code transformation; and the "Code generation" library for generating the transformed code. I am experimenting with tracking bugs with Lighthouse, but am not yet sure I've got it configure right --- see http://davew_haverford.lighthouseapp.com/projects/13658-the-omega-project/overview (if you can; if you can't, email davew@cs.haverford.edu).
hacker-functions
An assortment of functions with subtly seeded bugs for introductory python students to understand the importance of testing.
hp-learn-shell
Harry Potter themed way of teaching shell
HSIntroToCS
9th grade Intro to CS course
learnGitBranching
An interactive git visualization to challenge and educate!
mve
Multi-View Environment
oss-fuzz
OSS-Fuzz - continuous fuzzing of open source software
PythoShop
A GUI for image manipulation
samples
DARPA Cyber Grand Challenge Sample Challenges
Snap--Build-Your-Own-Blocks
a visual programming language inspired by Scratch
teaching
A place to track all of the resources I've found on the internet and created myself
textbook
The textbook Computational and Inferential Thinking: The Foundations of Data Science
turbozzle
A turtle version of the "robozzle" website that is useful for teaching students python.
vscode-intro
Simple set of problems for students to work on while transistioning from Grok to vscode.