Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Distributed Data Structures	46	11 years ago			Coq
Distributed Data Structures in Coq
Extructures	29	7 months ago	1	mit	Coq
Finite sets and maps for Coq with extensional equality

Alternatives To Extructures

Select To Compare

Distributed Data Structures ⭐ 46

Distributed Data Structures in Coq

most recent commit 11 years ago

Extructures ⭐ 29

Finite sets and maps for Coq with extensional equality

most recent commit 7 months ago

Suggest An Alternative To extructures

Alternative Project Comparisons

Extructures vs Distributed Data Structures

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 Data Structure Projects

Coding Interview University ⭐ 281,795

A complete computer science study plan to become a software engineer.

most recent commit a month ago

Javascript Algorithms ⭐ 179,519

📝 Algorithms and data structures implemented in JavaScript with explanations and links to further readings

dependent packages 4total releases 4latest release June 02, 2018most recent commit 3 months ago

npm javascript-algorithms-and-data-structures} Downloads

Fucking Algorithm ⭐ 121,889

刷算法全靠套路，认准 labuladong 就够了！English version supported! Crack LeetCode, not only how, but also why.

most recent commit 3 months ago

Interviews ⭐ 60,713

Everything you need to know to get the job.

most recent commit 4 months ago

Hello Algo ⭐ 60,707

《Hello 算法》：动画图解、一键运行的数据结构与算法教程，支持 Python, C++, Java, C#, Go, Swift, JS, TS, Dart, Rust, C, Zig 等语言。English edition ongoing

most recent commit 3 months ago

Popular Mathematics Categories