Awesome Open Source

Programming Languages

Lemma Overloading

Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]

Categories > Mathematics > Coq

Suggest Alternative

Stars

22

License

gpl-3.0

Most Recent Commit

2 years ago

Programming Language

Coq

Categories

Software Architecture > Design Pattern

Mathematics > Coq

Suggest An Alternative To lemma-overloading

Popular Coq Projects

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 Design Pattern Projects

System Design Primer ⭐ 242,741

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

most recent commit 4 months ago

Awesome Python ⭐ 195,684

A curated list of awesome Python frameworks, libraries, software and resources

most recent commit 3 months ago

Java Design Patterns ⭐ 85,427

Design patterns implemented in Java

most recent commit 3 months ago

Awesome Scalability ⭐ 50,409

The Patterns of Scalable, Reliable, and Performant Large-Scale Systems

most recent commit 4 months ago

Design Patterns For Humans ⭐ 42,678

An ultra-simplified explanation to design patterns

most recent commit 4 months ago

Popular Mathematics Categories

Related Searches

Mathcomp Ssreflect

Coq Paper Artifacts

Coq Typeclasses

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Design Pattern

Coq

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source. All rights reserved.