Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Color	30	6 months ago		other	Coq
Coq library on rewriting theory and termination
Bbv	25	7 months ago	6	mit	Coq
Bedrock Bit Vector Library
Bits	21	5 months ago	3	apache-2.0	Coq
A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]

Alternatives To Color

Select To Compare

Color ⭐ 30

Coq library on rewriting theory and termination

most recent commit 6 months ago

Bbv ⭐ 25

Bedrock Bit Vector Library

most recent commit 7 months ago

Bits ⭐ 21

A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]

most recent commit 5 months ago

Suggest An Alternative To color

Alternative Project Comparisons

Color vs Bbv

Color vs Bits

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 5 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 Vector Projects

Supabase ⭐ 62,208

The open source Firebase alternative.

dependent packages 2total releases 36latest release March 16, 2020most recent commit 3 months ago

Meilisearch ⭐ 43,235

A lightning-fast search API that fits effortlessly into your apps, websites, and workflow

most recent commit 20 days ago

Quivr ⭐ 27,485

Your GenAI Second Brain 🧠 A personal productivity assistant (RAG) ⚡️🤖 Chat with your docs (PDF, CSV, ...) & apps using Langchain, GPT 3.5 / 4 turbo, Private, Anthropic, VertexAI, Ollama, LLMs, that you can share with users ! Local & Private alternative to OpenAI GPTs & ChatGPT powered by retrieval-augmented generation.

most recent commit 3 months ago

Faiss ⭐ 26,486

A library for efficient similarity search and clustering of dense vectors.

dependent packages 26total releases 3latest release April 16, 2019most recent commit 3 months ago

Milvus ⭐ 25,219

A cloud-native vector database, storage for next generation AI applications

total releases 35latest release April 02, 2022most recent commit 3 months ago

Popular Mathematics Categories