Pinned Repositories
angr
The next-generation binary analysis platform from UC Santa Barbara's Seclab!
angr-doc
Documentation for the Angr suite
cgc-release-documentation
DARPA Cyber Grand Challenge Documentation
green-solver
Automatically exported from code.google.com/p/green-solver
klee
KLEE Symbolic Virtual Machine
klee.github.io
robozzle-react
Programmable Robot Game
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).
til
Today I Learned
holycrap872's Repositories
holycrap872/til
Today I Learned
holycrap872/green-solver
Automatically exported from code.google.com/p/green-solver
holycrap872/angr
The next-generation binary analysis platform from UC Santa Barbara's Seclab!
holycrap872/angr-doc
Documentation for the Angr suite
holycrap872/cgc-release-documentation
DARPA Cyber Grand Challenge Documentation
holycrap872/klee
KLEE Symbolic Virtual Machine
holycrap872/klee.github.io
holycrap872/robozzle-react
Programmable Robot Game
holycrap872/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).
holycrap872/ucls-ml-ai
Curriculum for full year upperclass ML/AI course
holycrap872/learnGitBranching
An interactive git visualization to challenge and educate!
holycrap872/mve
Multi-View Environment
holycrap872/neuroresus
holycrap872/oss-fuzz
OSS-Fuzz - continuous fuzzing of open source software
holycrap872/PythoShop
A GUI for image manipulation
holycrap872/robozzle-edu
A self-contained version of RoboZZle that avoids some of the server issues.
holycrap872/sample-serverless
holycrap872/samples
DARPA Cyber Grand Challenge Sample Challenges
holycrap872/Snap--Build-Your-Own-Blocks
a visual programming language inspired by Scratch
holycrap872/teaching
A place to track all of the resources I've found on the internet and created myself
holycrap872/textbook
The textbook Computational and Inferential Thinking: The Foundations of Data Science
holycrap872/ucls-broken-fsm
holycrap872/ucls-fishy
holycrap872/ucls-hacker-functions
An assortment of functions with subtly seeded bugs for introductory python students to understand the importance of testing.
holycrap872/ucls-hp-learn-shell
Harry Potter themed way of teaching shell
holycrap872/ucls-hs-intro-to-cs
9th grade Intro to CS course
holycrap872/ucls-ms-intro-to-cs
holycrap872/ucls-partial-pong
A partially complete version of pong that allows students to PRIMM their way to a full game
holycrap872/ucls-turbozzle
A turtle version of the "robozzle" website that is useful for teaching students python.
holycrap872/ucls-vscode-intro
Simple set of problems for students to work on while transistioning from Grok to vscode.