All Git Users → evhub

5 open source projects by evhub

[ Open user page on Github ]

1. Coconut Prelude

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

✭ 17

Simple, elegant, Pythonic functional programming.

✭ 3,422

python Makefile functional-programming functional functional-language coconut

Black box hyperparameter optimization made easy.

✭ 66

python Makefile hyperparameter-optimization hyperparameter-tuning coconut blackbox-optimization

4. sublime-coconut

Coconut syntax highlighting for Sublime Text and VSCode.

✭ 18

python Makefile syntax-highlighting functional sublime-text highlighting vscode coconut

Resolution theorem proving for predicate logic in pure Python.

✭ 71

python Makefile theorem-proving first-order-logic prover coconut theorem-prover

1-5 of 5 user projects