Discover @evhub Open Source projects

Evan Hubinger (@evhub)

evhub

Stars
4,463
Global Rank 6,234 (Top 0.3 %)
Followers 665
Following 299
Registered almost 13 years ago
Most used languages

Python
54.8 %

TeX
19.4 %

Makefile 16.1 %

Jupyter Notebook
6.5 %

Lean 3.2 %
Location 🇺🇸 United States
Country Total Rank 2,521
Country Ranking

Lean 90

Makefile 307

Python
364

TeX
651

coconut

Simple, elegant, Pythonic functional programming.

pyprover

Resolution theorem proving for predicate logic in pure Python.

bbopt

Black box hyperparameter optimization made easy.

cpyparsing

Cython PyParsing implementation.

coconut-prelude

An implementation of Haskell's Prelude in Python using Coconut.

minecraft-deep-learning

Deep reinforcement learning in Minecraft using gym-minecraft and keras-rl.

sublime-coconut

Coconut syntax highlighting for Sublime Text and VSCode.

rabbit

Rabbit is a modern, functional programming language built on top of Python.

mesa-optimization

Source for the paper "Risks from Learned Optimization in Advanced Machine Learning Systems" by Evan Hubinger, Chris van Merwijk, Vladimir Mikulik, Joar Skalse, and Scott Garrabrant.

iternash

Iterative equilibrium finder for simulating arbitrary games in Python/Coconut.

cards-against-humanity

An extensible cards against humanity game engine.

bayesian-nn-example

A toy Bayesian neural network example.

better_einsum

np.einsum but better

live-song-id

Replication of Known-Artist Live Song Identification Using Audio Hashprints in Python.

Jupyter Notebook

conditioning-predictive-models

Repository for the paper “Conditioning Predictive Models" by Hubinger et al.

claude-here

debug Python with claude.ai

transfer-learning-live-song-id

Use transfer_learning_music to implement live song identification.

prisoner

Run Prisoner's Dilemma competitions in Python.

audio-quality-detection

Binary classification of songs based on audio quality.

Jupyter Notebook

score-retrieval

Wrapper for music score retrieval dataset.

coconut-travis-generator

Generates .travis.yml files for use with Coconut and Cocotest.

cocotest

Test repository for the Coconut Programming Language.

lean-math-examples

A collection of various mathematical theorems/objects/constructs in Lean.

point-free-transformer

A point-free implementation of a one-layer transformer in Coconut.

text-game-engine

Custom extensible text game engine.

11-proposals

LaTeX version of "An overview of 11 proposals for building safe advanced AI."

relaxed-adversarial-training

The source for my post "An exploration of relaxed adversarial training for inner alignment."

song-annotation-db

Database of aligned song snippets.

coco-cs

Coconut documentation Czech translation by @Tovim

tf-ddpg

An implementation of Deep Deterministic Policy Gradients in TensorFlow using Coconut.

steganography

A Python steganography library, written in Coconut.

travis-dotfile-generator

Generate .travis.yml files from Python/Coconut scripts.

evhub.github.io

GitHub Pages for Evan Hubinger

master-mind

Graphical single- or multi- player Master Mind simulator.