Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with parametricity

A curated list of projects in awesome lists tagged with parametricity .

https://github.com/coq-community/paramcoq

Coq plugin for parametricity [maintainer=@proux01]

coq coq-ci coq-platform coq-plugin docker-coq-action parametricity

Last synced: 24 Dec 2024

https://github.com/lysxia/system-f

Formalization of the polymorphic lambda calculus and its parametricity theorem

coq denotational-semantics formalization lambda-calculus parametricity polymorphism system-f

Last synced: 28 Oct 2024

https://github.com/coq-community/trocq

A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]

coq parametricity

Last synced: 10 Oct 2024

https://github.com/aatxe/reasoning-with-types

Corresponding example code from my blog post "Reasoning with Types in Rust"

blog-post example-code examples parametricity rust

Last synced: 05 Dec 2024