gavlegoat Goto Github PK
Name: Greg Anderson
Type: User
Company: Reed College
Blog: gavlegoat.github.io
Greg Anderson's Projects
absinthe
An abstract interpretation engine.
academic-kickstart
Easily create a beautiful website using Academic and Hugo
apron
Apron Numerical Abstract Domain Library
charon
The Charon tool for analyzing neural network robustness
chess
configs
Configuration files for various things
cs3240-examples
cs3240-labdemo
elina
ELINA: ETH LIbrary for Numerical Analysis
elina-bug
gavlegoat.github.io
Personal Webpage
gym
A toolkit for developing and comparing reinforcement learning algorithms.
hs-z3
Haskell bindings to Z3.
hscool
idris-dev
A Dependently Typed Functional Programming Language
idris-tutorial
A tutorial to the Idris Programming Language.
marabou
materials
mbpo_pytorch
A pytorch reprelication of the model-based reinforcement learning algorithm MBPO
ml2
ML for machine learning
mtg-search
mujoco-py
MuJoCo is a physics engine for detailed, efficient rigid body simulations with contacts. mujoco-py allows using MuJoCo from Python 3.
oc-sat
A pedagogical SAT solver.
openings
A place to store notes on my chess openings.
pl-sandbox
A repo for random programming languages experiments
rabbit
Abstract Interpretation for Rust
repertoire
A tool for building and keeping opening repertoires.
safe-learning
safe_rl
Implementations of SAILR, PDO, and CSC
safety-gym
Tools for accelerating safe exploration research.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.