Pinned Repositories
blusb_cli_win
A Windows command line interface to configure various settings of the Blusb Universal BT-USB Model M Controller
gym-locm
OpenAI Gym environments for Legends of Code and Magic, a collectible card game designed for AI research
iterm2-auto-transparency-toggle
A pair of scripts which automatically toggle iTerm2 windows to be transparent when active and opaque when inactive, or the reverse.
lambdalab
interactive λ-calculus for learning
math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
mblusb
mblusb - IBM Model M BT-USB-Hybrid replacement controller command line tool
reinforced-greediness
Legends of Code and Magic bot submitted to the IEEE CEC 2020's Strategy Card Game AI Competition
stable-baselines
Mirror of Stable-Baselines: a fork of OpenAI Baselines, implementations of reinforcement learning algorithms
dfpetrin's Repositories
dfpetrin/iterm2-auto-transparency-toggle
A pair of scripts which automatically toggle iTerm2 windows to be transparent when active and opaque when inactive, or the reverse.
dfpetrin/blusb_cli_win
A Windows command line interface to configure various settings of the Blusb Universal BT-USB Model M Controller
dfpetrin/gym-locm
OpenAI Gym environments for Legends of Code and Magic, a collectible card game designed for AI research
dfpetrin/lambdalab
interactive λ-calculus for learning
dfpetrin/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
dfpetrin/mblusb
mblusb - IBM Model M BT-USB-Hybrid replacement controller command line tool
dfpetrin/reinforced-greediness
Legends of Code and Magic bot submitted to the IEEE CEC 2020's Strategy Card Game AI Competition
dfpetrin/stable-baselines
Mirror of Stable-Baselines: a fork of OpenAI Baselines, implementations of reinforcement learning algorithms
dfpetrin/dslabs
Distributed Systems Labs and Framework