Pinned Repositories
GymInteract
Help with training an agent to play Atari games
GymRecord
A helper script to run and record OpenAI Gym interactions
lean-ai-planning
AI Planning Library in Lean 4
RadioTuner
A GNU Radio Server and QT Client to be able to play radio stations
rltorch
Reinforcement Learning Framework for PyTorch
tail-recurse
Tail Call Optimization Decorator for Python
vspursuer
Verify Relevance Properties for Matrix Models with Implicative Connectives
website
Github Repo of Personal Website
CryptoSolve
Generate and Verify Cryptographic Modes of Operation using Symbolic Methods
Parallel-Verifier
Parallel Verification of Propositional Natural-Deduction Proof Graphs
Brandon-Rozek's Repositories
Brandon-Rozek/vspursuer
Verify Relevance Properties for Matrix Models with Implicative Connectives
Brandon-Rozek/lean-ai-planning
AI Planning Library in Lean 4
Brandon-Rozek/RadioTuner
A GNU Radio Server and QT Client to be able to play radio stations
Brandon-Rozek/TPTP-Examples
Example axiom and problem files within the TPTP Format
Brandon-Rozek/website-toots
Mastodon Toots synced to my website
Brandon-Rozek/GymRecord
A helper script to run and record OpenAI Gym interactions
Brandon-Rozek/website
Github Repo of Personal Website
Brandon-Rozek/bash-fun
Functional programming in bash
Brandon-Rozek/bodypix-background
Create a video camera with a different background
Brandon-Rozek/Brandon-Rozek
Brandon-Rozek/cedar
Implementation of the Cedar Policy Language
Brandon-Rozek/cedar-examples
Some examples of using the Cedar language to specify authorization
Brandon-Rozek/cedar-spec
Definitional implementation of Cedar language and utilities for DRT
Brandon-Rozek/Function-Tetris
Align Equations Tetris Style
Brandon-Rozek/graphgame
Math I/O Graph Game
Brandon-Rozek/libbuddy-rpm
Binary Decision Diagram Library RPM
Brandon-Rozek/libtecla-rpm
RPM for tecla library
Brandon-Rozek/mapserver
A small local tiling server
Brandon-Rozek/mapviewer
Map Tile Server Viewer
Brandon-Rozek/maude-rpm
Brandon-Rozek/Planning-Qu
Planning under Qualitative Uncertainty
Brandon-Rozek/PPR
Possibilistic Planner and Recognizer
Brandon-Rozek/sentenceworthy.com
Public archive of sentenceworthy.com
Brandon-Rozek/sketch
Sketchpad using HTML5 Canvas
Brandon-Rozek/Term-Algebra.js
Term Algebra for Equational Reasoning
Brandon-Rozek/vale
Vale-Compatible Rules for English Prose
Brandon-Rozek/website-observations
Observations from iNaturalist translated into Hugo
Brandon-Rozek/website-theme
Modified Version of the Pulp Theme (https://github.com/koirand/pulp)
Brandon-Rozek/website-tracks-photos-v0
Photos within tracks section of https://brandonrozek.com
Brandon-Rozek/WordGuess
Pubnix Word Guessing Game