evhub
Follow
-
coconut Public
Simple, elegant, Pythonic functional programming.
-
coconut-issue Public
Forked from peawyoyoyin/coconut-issueMinimal Reproducible reproduction for coconut issue
Makefile UpdatedDec 1, 2024 -
-
-
minecraft-server-tools Public
Utilities for easily working with and managing minecraft forge servers.
-
refinedstorage Public
Forked from refinedmods/refinedstorageAn elegant solution to your hoarding problem.
Java MIT License UpdatedJul 29, 2024 -
coconut-prelude Public
An implementation of Haskell's Prelude in Python using Coconut.
-
sublime-coconut Public
Coconut syntax highlighting for Sublime Text and VSCode.
-
-
coconut-feedstock Public
Forked from conda-forge/coconut-feedstockA conda-smithy repository for coconut.
-
pyprover Public
Resolution theorem proving for predicate logic in pure Python.
-
bbopt Public
Black box hyperparameter optimization made easy.
-
Repository for the paper “Conditioning Predictive Models" by Hubinger et al.
-
awesome-xontribs Public
Forked from xonsh/awesome-xontribsAwesome list of Xonsh contributions/extensions
-
iternash Public
Iterative equilibrium finder for simulating arbitrary games in Python/Coconut.
-
-
point-free-transformer Public
A point-free implementation of a one-layer transformer in Coconut.
-
python-language-server Public
Forked from palantir/python-language-serverAn implementation of the Language Server Protocol for Python
Python MIT License UpdatedJan 18, 2022 -
xonsh Public
Forked from xonsh/xonsh🐚 Python-powered, cross-platform, Unix-gazing shell
Python Other UpdatedDec 16, 2021 -
python-language-server-csharp Public
Forked from microsoft/python-language-serverMicrosoft Language Server for Python
C# Apache License 2.0 UpdatedNov 23, 2021 -
mesa-optimization Public
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.
-
bayes-skopt Public
Forked from kiudee/bayes-skoptA fully Bayesian implementation of sequential model-based optimization
-
lean-math-examples Public
A collection of various mathematical theorems/objects/constructs in Lean.
-
vsce-coconut Public
Forked from kobarity/vsce-coconutCoconut support for Visual Studio Code
GNU General Public License v3.0 UpdatedJun 11, 2021 -
-
11-proposals Public
LaTeX version of "An overview of 11 proposals for building safe advanced AI."
-
coco-cs Public
Coconut documentation Czech translation by @Tovim
-
Rainbow Public
Forked from Kaixhin/RainbowRainbow: Combining Improvements in Deep Reinforcement Learning
-
baselines Public
Forked from openai/baselinesOpenAI Baselines: high-quality implementations of reinforcement learning algorithms
-
SublimeText-Crypto Public
Forked from mediaupstream/SublimeText-CryptoEncrypt and Decrypt a document or selection using OpenSSL in Sublime Text 2 & 3
Python UpdatedNov 26, 2019