Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 10 Machine Learning Coq Open Source Projects

Open source projects categorized as Machine Learning Coq
Categories > Machine Learning > Machine Learning
Coqgym ⭐ 327
A Learning Environment for Theorem Proving with the Coq proof assistant
most recent commit 10 months ago
Gamepad ⭐ 58
A Learning Environment for Theorem Proving
most recent commit 4 years ago
Coq Tactician ⭐ 47
A Seamless, Interactive Tactic Learner and Prover for Coq
most recent commit 4 months ago
Certint ⭐ 42
A Certified Interpreter for ML with Structural Polymorphism
most recent commit a year ago
Learn Haskell Coq Ml Etc ⭐ 34
Where I try code from Haskell (etc) books, articles, etc.
most recent commit a year ago
Pycoq ⭐ 34
Python bindings for the Coq interactive proof assistant
most recent commit 2 years ago
Roosterize ⭐ 15
Tool for suggesting lemma names in Coq verification projects
most recent commit 2 years ago
Fourcolortheorem ⭐ 9
Gonthier's formal proof of the 4-color theorem, in Coq.
most recent commit 8 years ago
Misc Ml Scripts ⭐ 7
Various ideas in OCaml, Haskell, and F*
most recent commit a year ago
Tiger ⭐ 5
Modern Compiler Implementation in ML
most recent commit 7 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.