Pinned Repositories
safe-learning
charon
The Charon tool for analyzing neural network robustness
absinthe
An abstract interpretation engine.
simulation
An electronic circuit simulator using Idris
spice
Symbolic Preconditions for Constrained Exploration
gavlegoat.github.io
Personal Webpage
rabbit
Abstract Interpretation for Rust
academic-kickstart
Easily create a beautiful website using Academic and Hugo
apron
Apron Numerical Abstract Domain Library
chess
gavlegoat's Repositories
gavlegoat/gavlegoat.github.io
Personal Webpage
gavlegoat/webpage
gavlegoat/rtlc
gavlegoat/pl-sandbox
A repo for random programming languages experiments
gavlegoat/spice
Symbolic Preconditions for Constrained Exploration
gavlegoat/safety-gym
Tools for accelerating safe exploration research.
gavlegoat/safe-learning
gavlegoat/safe_rl
Implementations of SAILR, PDO, and CSC
gavlegoat/oc-sat
A pedagogical SAT solver.
gavlegoat/ml2
ML for machine learning
gavlegoat/hs-z3
Haskell bindings to Z3.
gavlegoat/chess
gavlegoat/mbpo_pytorch
A pytorch reprelication of the model-based reinforcement learning algorithm MBPO
gavlegoat/gym
A toolkit for developing and comparing reinforcement learning algorithms.
gavlegoat/xq-ed
An editor for Xiangqi games.
gavlegoat/vim-stuff
gavlegoat/mujoco-py
MuJoCo is a physics engine for detailed, efficient rigid body simulations with contacts. mujoco-py allows using MuJoCo from Python 3.
gavlegoat/repertoire
A tool for building and keeping opening repertoires.
gavlegoat/openings
A place to store notes on my chess openings.
gavlegoat/absinthe
An abstract interpretation engine.
gavlegoat/rabbit
Abstract Interpretation for Rust
gavlegoat/charon
The Charon tool for analyzing neural network robustness
gavlegoat/apron
Apron Numerical Abstract Domain Library
gavlegoat/Marabou
gavlegoat/academic-kickstart
Easily create a beautiful website using Academic and Hugo
gavlegoat/sat
gavlegoat/materials
gavlegoat/mtg-search
gavlegoat/elina-bug
gavlegoat/searcher