Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Cosette	509	5 years ago	24	bsd-2-clause	Lean
Cosette is an automated SQL solver.
Coq Ltac Iter	11	4 years ago	3	mit	Coq
Access hint databases from tactics.

Alternatives To Coq Ltac Iter

Select To Compare

Cosette ⭐ 509

Cosette is an automated SQL solver.

most recent commit 5 years ago

Coq Ltac Iter ⭐ 11

Access hint databases from tactics.

most recent commit 4 years ago

Suggest An Alternative To coq-ltac-iter

Alternative Project Comparisons

Coq Ltac Iter vs Cosette

Popular Database Projects

Netdata ⭐ 67,808

The open-source observability platform everyone needs!

most recent commit a month ago

Redis ⭐ 64,667

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.

dependent packages 3total releases 1latest release February 27, 2018most recent commit 12 days ago

Cs Video Courses ⭐ 62,887

List of Computer Science courses with video lectures.

most recent commit 3 months ago

Etcd ⭐ 46,345

Distributed reliable key-value store for the most critical data of a distributed system

dependent packages 2,948total releases 403latest release December 07, 2023most recent commit 2 days ago

Meilisearch ⭐ 43,235

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

most recent commit 10 days 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 Storage Categories