Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Set Theory	54	3 years ago		mit	Coq
Coq encoding of ZFC and formalization of the textbook Elements of Set Theory
Coq Ceres	16	10 months ago	4	mit	Coq
Coq library for serialization to S-expressions
Zfc	15	a year ago	6	lgpl-2.1	Coq
An encoding of Zermelo-Fraenkel Set Theory in Coq
Pi Calc	8	4 years ago			Coq
Pi-calculus in Coq
Asn1fpcoq	5	4 years ago	2		Coq
Coq formalization of ASN.1 floating point

Alternatives To Set Theory

Select To Compare

Set Theory ⭐ 54

Coq encoding of ZFC and formalization of the textbook Elements of Set Theory

most recent commit 3 years ago

Coq Ceres ⭐ 16

Coq library for serialization to S-expressions

most recent commit 10 months ago

Zfc ⭐ 15

An encoding of Zermelo-Fraenkel Set Theory in Coq

most recent commit a year ago

Pi Calc ⭐ 8

Pi-calculus in Coq

most recent commit 4 years ago

Asn1fpcoq ⭐ 5

Coq formalization of ASN.1 floating point

most recent commit 4 years ago

Suggest An Alternative To Set-Theory

Alternative Project Comparisons

Set Theory vs Coq Ceres

Set Theory vs Zfc

Set Theory vs Pi Calc

Set Theory vs Asn1fpcoq

Popular Encoding Projects

Uppy ⭐ 27,793

The next open source file uploader for web browsers :dog:

dependent packages 187total releases 107latest release November 12, 2023most recent commit 3 months ago

Cyberchef ⭐ 25,521

The Cyber Swiss Army Knife - a web app for encryption, encoding, compression and data analysis

dependent packages 5total releases 396latest release July 14, 2023most recent commit 12 days ago

Js Cookie ⭐ 21,342

A simple, lightweight JavaScript API for handling browser cookies

dependent packages 7,233total releases 32latest release April 24, 2023most recent commit 4 months ago

Ciphey ⭐ 16,681

⚡ Automatically decrypt encryptions without knowing the key or cipher, decode encodings, and crack hashes ⚡

total releases 50latest release June 06, 2021most recent commit a month ago

Go ⭐ 12,863

A high-performance 100% compatible drop-in replacement of "encoding/json"

dependent packages 22,836total releases 16latest release September 11, 2021most recent commit 3 months 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 Data Formats Categories