Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Certigraph	16	3 months ago	4	mit	Coq
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
Coq Wigderson	7	9 months ago	2	mit	Coq
Formalization of Wigderson's graph coloring algorithm in Coq

Alternatives To Coq Wigderson

Select To Compare

Certigraph ⭐ 16

A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.

most recent commit 3 months ago

Coq Wigderson ⭐ 7

Formalization of Wigderson's graph coloring algorithm in Coq

most recent commit 9 months ago

Suggest An Alternative To coq-wigderson

Alternative Project Comparisons

Coq Wigderson vs Certigraph

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 5 months ago

Compcert ⭐ 1,696

The CompCert formally-verified C compiler

most recent commit 7 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 6 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 5 months ago

Popular Graph Algorithms Projects

Networkx ⭐ 14,255

Network Analysis in Python

dependent packages 4,531total releases 92latest release October 28, 2023most recent commit a month ago

C Sharp Algorithms ⭐ 5,815

:books: :chart_with_upwards_trend: Plug-and-play class-library project of standard Data Structures and Algorithms in C#

total releases 1latest release August 14, 2021most recent commit a year ago

Javascript Datastructures Algorithms ⭐ 4,433

:books: collection of JavaScript and TypeScript data structures and algorithms for education purposes. Source code bundle of JavaScript algorithms and data structures book

most recent commit 6 months ago

Vivagraphjs ⭐ 3,676

Graph drawing library for JavaScript

dependent packages 9total releases 29latest release October 27, 2019most recent commit 5 months ago

Alink ⭐ 3,479

Alink is the Machine Learning algorithm platform based on Flink, developed by the PAI team of Alibaba computing platform.

dependent packages 16total releases 19latest release November 03, 2023most recent commit 3 months ago

Popular Mathematics Categories