Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Ceramist	122	4 years ago	n,ull	gpl-3.0	Coq
Verified hash-based AMQ structures in Coq
Infotheo	60	5 months ago	8	lgpl-2.1	Coq
A Coq formalization of information theory and linear error-correcting codes
Coq Proba	48	7 months ago	1	apache-2.0	Coq
A Probability Theory Library for the Coq Theorem Prover
Topology	28	5 years ago	2	mit	Coq
Formal topology (and some probability) in Coq
Alea	19	3 years ago	2	lgpl-2.1	Coq
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

Alternatives To Coq Proba

Select To Compare

Ceramist ⭐ 122

Verified hash-based AMQ structures in Coq

most recent commit 4 years ago

Infotheo ⭐ 60

A Coq formalization of information theory and linear error-correcting codes

most recent commit 5 months ago

Coq Proba ⭐ 48

A Probability Theory Library for the Coq Theorem Prover

most recent commit 7 months ago

Topology ⭐ 28

Formal topology (and some probability) in Coq

most recent commit 5 years ago

Alea ⭐ 19

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

most recent commit 3 years ago

Suggest An Alternative To coq-proba

Alternative Project Comparisons

Coq Proba vs Ceramist

Coq Proba vs Infotheo

Coq Proba vs Topology

Coq Proba vs Alea

Popular Coq Projects

Coq ⭐ 4,501

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

dependent packages 1total releases 4latest release December 27, 2020most recent commit 3 months ago

Compcert ⭐ 1,696

The CompCert formally-verified C compiler

most recent commit 5 months ago

Stalin Sort ⭐ 1,381

Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️

most recent commit 4 months ago

Learn Tt ⭐ 1,307

A collection of resources for learning type theory and type theory adjacent fields.

most recent commit 4 years ago

Unimath ⭐ 888

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

most recent commit 3 months ago

Popular Probability Projects

Deep Learning Drizzle ⭐ 10,767

Drench yourself in Deep Learning, Reinforcement Learning, Machine Learning, Computer Vision, and NLP by learning from these exciting lectures!!

most recent commit a year ago

From 0 To Research Scientist Resources Guide ⭐ 6,443

Detailed and tailored guide for undergraduate students or anybody want to dig deep into the field of AI with solid foundation.

most recent commit 10 months ago

Probability ⭐ 4,028

Probabilistic reasoning and statistical analysis in TensorFlow

dependent packages 316total releases 51latest release November 20, 2023most recent commit 3 months ago

Awesome Conformal Prediction ⭐ 3,097

A professionally curated list of awesome Conformal Prediction videos, tutorials, books, papers, PhD and MSc theses, articles and open-source libraries.

most recent commit 3 months ago

Data Science Roadmap ⭐ 2,445

Data Science Roadmap from A to Z

most recent commit 5 months ago

Popular Mathematics Categories