evhub/point-free-transformer

Stars
2
Language
Python
License
Apache License 2.0
Created over 1 year ago
Updated over 1 year ago

evhub/point-free-transformer

evhub

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

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.

iternash

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

cards-against-humanity

An extensible cards against humanity game engine.

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.

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

transfer-learning-live-song-id

Use transfer_learning_music to implement live song identification.

conditioning-predictive-models

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

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.

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.