3 results found Sort:

evhub
coconut evhub
125
4.1k
apache-2.0
59
Simple, elegant, Pythonic functional programming.
xonsh python coconut xontrib compiler language functional functional-language programming-language functional-programming
Created 2014-10-04
5,200 commits to master branch, last one 3 months ago
evhub
pyprover evhub
10
91
apache-2.0
6
Resolution theorem proving for predicate logic in pure Python.
prover python coconut theorem-prover theorem-proving first-order-logic
Created 2017-03-04
96 commits to master branch, last one about a year ago
evhub
bbopt evhub
8
75
apache-2.0
7
Black box hyperparameter optimization made easy.
python coconut blackbox-optimization hyperparameter-tuning hyperparameter-optimization
Created 2017-09-04
307 commits to master branch, last one about a year ago