Projects in Awesome Lists by evhub
A curated list of projects in awesome lists by evhub .
https://github.com/evhub/coconut
Simple, elegant, Pythonic functional programming.
coconut compiler functional functional-language functional-programming language programming-language python xonsh xontrib
Last synced: 11 May 2025
https://github.com/evhub/pyprover
Resolution theorem proving for predicate logic in pure Python.
coconut first-order-logic prover python theorem-prover theorem-proving
Last synced: 07 May 2025
https://github.com/evhub/bbopt
Black box hyperparameter optimization made easy.
blackbox-optimization coconut hyperparameter-optimization hyperparameter-tuning python
Last synced: 19 Aug 2025
https://github.com/evhub/minecraft-deep-learning
Deep reinforcement learning in Minecraft using gym-minecraft and keras-rl.
Last synced: 05 Jan 2026
https://github.com/evhub/coconut-prelude
An implementation of Haskell's Prelude in Python using Coconut.
Last synced: 19 Jun 2025
https://github.com/evhub/sublime-coconut
Coconut syntax highlighting for Sublime Text and VSCode.
coconut functional highlighting language python sublime-text syntax-highlighting vscode
Last synced: 13 Apr 2025
https://github.com/evhub/rabbit
Rabbit is a modern, functional programming language built on top of Python.
Last synced: 13 Apr 2025
https://github.com/evhub/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.
Last synced: 03 Jul 2025
https://github.com/evhub/iternash
Iterative equilibrium finder for simulating arbitrary games in Python/Coconut.
Last synced: 13 Apr 2025
https://github.com/evhub/bayesian-nn-example
A toy Bayesian neural network example.
Last synced: 15 Oct 2025
https://github.com/evhub/cards-against-humanity
An extensible cards against humanity game engine.
Last synced: 11 Apr 2025
https://github.com/evhub/live-song-id
Replication of Known-Artist Live Song Identification Using Audio Hashprints in Python.
Last synced: 26 Jul 2025
https://github.com/evhub/conditioning-predictive-models
Repository for the paper “Conditioning Predictive Models" by Hubinger et al.
Last synced: 24 Mar 2025
https://github.com/evhub/transfer-learning-live-song-id
Use transfer_learning_music to implement live song identification.
Last synced: 24 Mar 2025
https://github.com/evhub/audio-quality-detection
Binary classification of songs based on audio quality.
Last synced: 24 Mar 2025
https://github.com/evhub/prisoner
Run Prisoner's Dilemma competitions in Python.
coconut prisoner-dilemma-competitions prisoner-dilemma-simulation python
Last synced: 26 Jul 2025
https://github.com/evhub/lean-math-examples
A collection of various mathematical theorems/objects/constructs in Lean.
Last synced: 16 Oct 2025
https://github.com/evhub/text-game-engine
Custom extensible text game engine.
Last synced: 08 Aug 2025
https://github.com/evhub/coconut-travis-generator
Generates .travis.yml files for use with Coconut and Cocotest.
Last synced: 30 Aug 2025
https://github.com/evhub/relaxed-adversarial-training
The source for my post "An exploration of relaxed adversarial training for inner alignment."
Last synced: 05 Jan 2026
https://github.com/evhub/cocotest
Test repository for the Coconut Programming Language.
Last synced: 05 Jan 2026
https://github.com/evhub/11-proposals
LaTeX version of "An overview of 11 proposals for building safe advanced AI."
Last synced: 14 Jun 2025
https://github.com/evhub/score-retrieval
Wrapper for music score retrieval dataset.
Last synced: 24 Mar 2025
https://github.com/evhub/song-annotation-db
Database of aligned song snippets.
Last synced: 24 Mar 2025
https://github.com/evhub/point-free-transformer
A point-free implementation of a one-layer transformer in Coconut.
Last synced: 24 Mar 2025
https://github.com/evhub/coco-cs
Coconut documentation Czech translation by @Tovim
coconut czech functional language python
Last synced: 14 Oct 2025
https://github.com/evhub/travis-dotfile-generator
Generate .travis.yml files from Python/Coconut scripts.
Last synced: 04 Jan 2026
https://github.com/evhub/steganography
A Python steganography library, written in Coconut.
Last synced: 05 Jan 2026
https://github.com/evhub/minecraft-server-tools
Utilities for easily working with and managing minecraft forge servers.
Last synced: 24 Mar 2025
https://github.com/evhub/master-mind
Graphical single- or multi- player Master Mind simulator.
Last synced: 24 Mar 2025
https://github.com/evhub/tf-ddpg
An implementation of Deep Deterministic Policy Gradients in TensorFlow using Coconut.
Last synced: 12 Jun 2025
https://github.com/evhub/rippled-monitor
Monitors and displays UDP info packets from rippled.
Last synced: 24 Mar 2025
https://github.com/evhub/compiled-cocotest
Compiled Python of the Coconut test suite.
Last synced: 11 Jul 2025
https://github.com/evhub/hublauncher
Automatic Minecraft mod installer for the HubCraft server.
Last synced: 24 Mar 2025
https://github.com/evhub/rabbit-environment
An example of how to hook into Rabbit to create your own custom RabbitLang development environment.
Last synced: 24 Mar 2025
https://github.com/evhub/hangman
AI for playing the children's game Hangman
Last synced: 24 Mar 2025
https://github.com/evhub/prisoner-competition
Prisoner's Dilemma Competition
Last synced: 24 Mar 2025
https://github.com/evhub/ripple-wallet-generator
Generates and encrypts Ripple wallets.
Last synced: 24 Mar 2025
https://github.com/evhub/mathtest
Uses Rabbit to power a program that will test the user on their math. Easily extensible with different problem sets.
Last synced: 24 Mar 2025
https://github.com/evhub/rpgengine
Uses Rabbit to power a program that will assist in Dungeons and Dragons, Pathfinder, etc. roleplaying calculations.
Last synced: 24 Mar 2025
https://github.com/evhub/ripple-git-bot
Handles basic build management for ripple development.
Last synced: 26 Jul 2025