Pinned Repositories
GymInteract
Help with training an agent to play Atari games
GymRecord
A helper script to run and record OpenAI Gym interactions
matmod
Matrix Model Generator for Implicative Connectives
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
TPTP-Examples
Example axiom and problem files within the TPTP Format
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/tail-recurse
Tail Call Optimization Decorator for Python
Brandon-Rozek/matmod
Matrix Model Generator for Implicative Connectives
Brandon-Rozek/RadioTuner
A GNU Radio Server and QT Client to be able to play radio stations
Brandon-Rozek/rltorch
Reinforcement Learning Framework for PyTorch
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/GymInteract
Help with training an agent to play Atari games
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/bootstrapr
Library for performing bootstrap hypothesis testing
Brandon-Rozek/Brandon-Rozek
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/lispy
This is the programming language I made by following the book "Build your own Lisp".
Brandon-Rozek/mapserver
A small local tiling server
Brandon-Rozek/mapviewer
Map Tile Server Viewer
Brandon-Rozek/maude-rpm
Brandon-Rozek/minetest-deploy
An example of how to use Packer and Terraform to deploy minetest onto DigitalOcean using its Docker Compose configuration.
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/treimage
Replicate an image with Trebuchets
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