Project Name	Stars	Most Recent Commit	Language
Free Proving Code	8	5 years ago	Coq
Library to model effectful programs and prove properties about these programs in Coq
Groupoids	6	6 years ago	Coq
Groupoids vs 1-Types

Alternatives To Groupoids

Select To Compare

Free Proving Code ⭐ 8

Library to model effectful programs and prove properties about these programs in Coq

most recent commit 5 years ago

Groupoids ⭐ 6

Groupoids vs 1-Types

most recent commit 6 years ago

Suggest An Alternative To groupoids

Alternative Project Comparisons

Groupoids vs Free Proving Code

Popular Properties Projects

Type Fest ⭐ 12,725

A collection of essential TypeScript types

dependent packages 4,907total releases 125latest release December 02, 2023most recent commit 4 months ago

Class Validator ⭐ 10,197

Decorator-based property validation for classes.

dependent packages 3,785total releases 57latest release December 09, 2022most recent commit 4 months ago

Yq ⭐ 10,077

yq is a portable command-line YAML, JSON, XML, CSV, TOML and properties processor

dependent packages 77total releases 132latest release December 04, 2023most recent commit 4 months ago

Dynamics.js ⭐ 7,248

Javascript library to create physics-based animations

dependent packages 54total releases 13latest release August 27, 2016most recent commit 5 years ago

Serilog ⭐ 6,723

Simple .NET logging with fully-structured events

dependent packages 4,473total releases 528latest release November 17, 2023most recent commit 5 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 4 months ago

Compcert ⭐ 1,696

The CompCert formally-verified C compiler

most recent commit 6 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 4 months ago

Popular Configuration Management Categories

Environment Variables

Zookeeper

Dark Theme

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Types

Properties

Coq

Functor

Privacy | About | Terms | Follow Us On Twitter

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