3 results found Sort:

evhub
coconut evhub
119
4.0k
apache-2.0
62
Simple, elegant, Pythonic functional programming.
xonsh python coconut xontrib compiler language functional functional-language programming-language functional-programming
Created 2014-10-04
5,172 commits to master branch, last one 20 days ago
evhub
pyprover evhub
10
89
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 7 months ago
evhub
bbopt evhub
8
74
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