dfpetrin

Wizards of the CoastSeattle, WA

Pinned Repositories

blusb_cli_win
A Windows command line interface to configure various settings of the Blusb Universal BT-USB Model M Controller
Language:C0 0 00
dslabs
Distributed Systems Labs and Framework
Language:Java0 0 00
gym-locm
OpenAI Gym environments for Legends of Code and Magic, a collectible card game designed for AI research
Language:Python0 0 00
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.
Language:Python5 1 00
lambdalab
interactive λ-calculus for learning
Language:TypeScript0 0 00
math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
Language:HTML0 0 00
mathematics_in_lean
Fork of the MIL repo for working on exercises
Language:HTML00
mblusb
mblusb - IBM Model M BT-USB-Hybrid replacement controller command line tool
Language:C0 0 00
reinforced-greediness
Legends of Code and Magic bot submitted to the IEEE CEC 2020's Strategy Card Game AI Competition
Language:Python0 0 00
stable-baselines
Mirror of Stable-Baselines: a fork of OpenAI Baselines, implementations of reinforcement learning algorithms
Language:Python0 0 00

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.
Language:Python5 1 00
dfpetrin/blusb_cli_win
A Windows command line interface to configure various settings of the Blusb Universal BT-USB Model M Controller
Language:C0 0 00
dfpetrin/dslabs
Distributed Systems Labs and Framework
Language:Java0 0 00
dfpetrin/gym-locm
OpenAI Gym environments for Legends of Code and Magic, a collectible card game designed for AI research
Language:Python0 0 00
dfpetrin/lambdalab
interactive λ-calculus for learning
Language:TypeScript0 0 00
dfpetrin/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
Language:HTML0 0 00
dfpetrin/mathematics_in_lean
Fork of the MIL repo for working on exercises
Language:HTML00
dfpetrin/mblusb
mblusb - IBM Model M BT-USB-Hybrid replacement controller command line tool
Language:C0 0 00
dfpetrin/reinforced-greediness
Legends of Code and Magic bot submitted to the IEEE CEC 2020's Strategy Card Game AI Competition
Language:Python0 0 00
dfpetrin/stable-baselines
Mirror of Stable-Baselines: a fork of OpenAI Baselines, implementations of reinforcement learning algorithms
Language:Python0 0 00