Repository Index

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

scikit-learn for OCaml

🇪🇺 Resources and Learning Games for European Romance Language Communication

• language
• romance-languages
• language-learning

CatBoost a fast, scalable, high performance Gradient Boosting on Decision Trees library. Golang using Cgo for blazing fast inference CatBoost Model 🚀

• cgo
• golang
• deep-learning
• gradient-boosting

MXNet (AI/ML) bindings for the Crystal language.

• crystal
• mxnet
• deep-learning
• machine-learning

A Ruby interface to the Timbl machine-learning library

A Julia wrapper for the Smile C++ Structural Modeling, Inference, and Learning Engine for Bayesian & Influence Networks