Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Coqprime	33	7 months ago	1	lgpl-2.1	Coq
Prime numbers for Coq
Cybele	6	5 years ago		mit	Coq
A Coq plugin for simpler proofs by reflection or OCaml certificates.

Alternatives To Coqprime

Select To Compare

Coqprime ⭐ 33

Prime numbers for Coq

most recent commit 7 months ago

Cybele ⭐ 6

A Coq plugin for simpler proofs by reflection or OCaml certificates.

most recent commit 5 years ago

Suggest An Alternative To coqprime

Alternative Project Comparisons

Coqprime vs Cybele

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 Certificate Projects

Mkcert ⭐ 45,055

A simple zero-config tool to make locally trusted development certificates with any names you'd like.

dependent packages 8total releases 15latest release April 26, 2022most recent commit 2 months ago

Certbot ⭐ 30,670

Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.

dependent packages 158total releases 110latest release December 05, 2023most recent commit 2 months ago

Teleport ⭐ 15,729

Protect access to all of your infrastructure.

dependent packages 8total releases 252latest release July 29, 2021most recent commit 3 months ago

Frida ⭐ 14,127

Clone this repo to build Frida

dependent packages 2total releases 311latest release November 28, 2023most recent commit 3 months ago

Whistle ⭐ 13,399

HTTP, HTTP2, HTTPS, Websocket debugging proxy

dependent packages 21total releases 572latest release December 08, 2023most recent commit 3 months ago

Popular Mathematics Categories