Sam Rosenstrauch's repositories
owl
Compositional Verification of Security Protocols
Language:HaskellBSD-3-Clause000
Minimax-Visualizer
A tool to help students better understand Minimax, as well as alpha-beta pruning.
tree-to-sml-converter
🌲 Tree/Shrub data type visualization tool allowing conversion to-and-fro SML
Language:JavaScript000
Language:Python000
Language:Python000
Language:Python000
Language:Python000
Language:Python000
Language:Python000
LineAlg
It's a line algorithm, bro. What'd you expect?
Language:Python000
Language:Python000
Language:Processing000
Language:Processing000
MKS22X-Heap
Heapsort
Language:Java000
Language:Java000
Language:Java000
Language:Java000
MKS22X-merge
Mergesort
Language:Java000
MKS22X-USACO
A bunch of USACO problems.
Language:Java000
Language:Java000
MKS22X-Queens
Solves the N-queens problem using recursive backtracking.
Language:Java000
MKS22X-Maze
Maze solver
Language:Java000
MKS22X-Knight
Finds a knight's tour.
Language:Java000
MKS22X-Recursion
APCS Spring Semester Recursion Problems
Language:Java000
MathExercises
Some solutions to math problems so I can get good at algebra.
000