Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Proofs	278	3 months ago	1	other	Coq
My personal repository of formally verified mathematics.
Coq Intro	5	6 years ago			Coq
An introduction to proving theorems and certifying programs with Coq.

Alternatives To Proofs

Select To Compare

Proofs ⭐ 278

My personal repository of formally verified mathematics.

most recent commit 3 months ago

Coq Intro ⭐ 5

An introduction to proving theorems and certifying programs with Coq.

most recent commit 6 years ago

Suggest An Alternative To proofs

Alternative Project Comparisons

Proofs vs Coq Intro

Popular Build System Projects

Meteor ⭐ 43,960

Meteor, the JavaScript App Platform

dependent packages 69total releases 33latest release November 29, 2023most recent commit 3 months ago

Turbo ⭐ 24,343

Incremental bundler and build system optimized for JavaScript and TypeScript, written in Rust – including Turbopack and Turborepo.

dependent packages 1,162total releases 406latest release December 07, 2023most recent commit 2 months ago

Bazel ⭐ 21,940

a fast, scalable, multi-language and extensible build system

dependent packages 1total releases 43latest release June 04, 2023most recent commit 3 months ago

Nx ⭐ 20,875

Smart Monorepos · Fast CI

dependent packages 561total releases 921latest release November 30, 2023most recent commit 3 months ago

Earthly ⭐ 10,828

Super simple build framework with fast, repeatable builds and an instantly familiar syntax – like Dockerfile and Makefile had a baby.

dependent packages 3total releases 1latest release September 19, 2022most recent commit 3 days ago

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 Build Tools Categories