Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Lensalgebra	17	5 years ago		apache-2.0	Coq
Towards Optic-Based Algebraic Theories: the Case of Lenses
Lensstateisyourfather	10	6 years ago		apache-2.0	Coq
Lens, State is your father... and I can prove It!
Coq Lens	10	2 years ago	11	other	Coq
Lenses in Coq

Alternatives To Coq Lens

Select To Compare

Lensalgebra ⭐ 17

Towards Optic-Based Algebraic Theories: the Case of Lenses

most recent commit 5 years ago

Lensstateisyourfather ⭐ 10

Lens, State is your father... and I can prove It!

most recent commit 6 years ago

Coq Lens ⭐ 10

Lenses in Coq

most recent commit 2 years ago

Suggest An Alternative To coq-lens

Alternative Project Comparisons

Coq Lens vs Lensalgebra

Coq Lens vs Lensstateisyourfather

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 Lenses Projects

Lens ⭐ 22,003

Lens - The way the world runs Kubernetes

dependent packages 29total releases 21latest release May 26, 2023most recent commit 3 months ago

Language Ext ⭐ 6,022

C# functional language extensions - a base class library for functional programming

dependent packages 203total releases 454latest release October 21, 2023most recent commit 3 months ago

Lens ⭐ 1,953

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

total releases 155latest release August 24, 2023most recent commit 7 months ago

Microstates ⭐ 1,314

Composable state primitives for JavaScript

dependent packages 11total releases 88latest release September 08, 2020most recent commit 2 years ago

Frunk ⭐ 1,099

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

dependent packages 47total releases 47latest release June 17, 2023most recent commit 8 months ago

Popular Mathematics Categories