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 Proba	48	7 months ago	1	apache-2.0	Coq
A Probability Theory Library for the Coq Theorem Prover
Bramble	11	5 years ago		other	Haskell
dependently-typed lisp with flexible compiler backends
Cocoricoogle	6	5 years ago	1		Perl 6

Alternatives To Bramble

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 Proba ⭐ 48

A Probability Theory Library for the Coq Theorem Prover

most recent commit 7 months ago

Bramble ⭐ 11

dependently-typed lisp with flexible compiler backends

most recent commit 5 years ago

Cocoricoogle ⭐ 6

most recent commit 5 years ago

Suggest An Alternative To bramble

Alternative Project Comparisons

Bramble vs Set Theory

Bramble vs Coq Proba

Bramble vs Cocoricoogle

Popular Nats Projects

Frp ⭐ 76,428

A fast reverse proxy to help you expose a local server behind a NAT or firewall to the internet.

dependent packages 18total releases 93latest release October 24, 2023most recent commit 3 months ago

Nps ⭐ 28,953

一款轻量级、高性能、功能强大的内网穿透代理服务器。支持tcp、udp、socks5、http等几乎所 lightweight, high-performance, powerful intranet penetration proxy server, with a powerful web management terminal.

total releases 53latest release October 09, 2021most recent commit 3 months ago

Ngrok ⭐ 23,398

Introspected tunnels to localhost

total releases 1latest release May 31, 2016most recent commit 4 months ago

Chia Blockchain ⭐ 10,889

Chia blockchain python implementation (full node, farmer, harvester, timelord, and wallet)

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

Benthos ⭐ 7,564

Fancy stream processing made operationally mundane

dependent packages 12total releases 51latest release November 24, 2023most recent commit a day 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 Messaging Categories