ejgallego/pycoq

Python bindings for the Coq interactive proof assistant

/ 100

Experimental

No commits in the last 6 months.

No License Stale 6m No Package No Dependents

Maintenance 0 / 25

Adoption 8 / 25

Maturity 8 / 25

Community 9 / 25

Stars

Forks

Language

OCaml

License

—

Category

Last pushed

Jan 10, 2022

Commits (30d)

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/ml-frameworks/ejgallego/pycoq"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

Higher-rated alternatives

SimonBlanke/Gradient-Free-Optimizers

Lightweight optimization with local, global, population-based and sequential techniques across...

emdgroup/baybe

Bayesian Optimization and Design of Experiments

Gurobi/gurobi-machinelearning

Formulate trained predictors in Gurobi models

heal-research/pyoperon

Python bindings and scikit-learn interface for the Operon library for symbolic regression.

simon-hirsch/ondil

A package for online distributional learning.