A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.
-
Updated
Jun 15, 2019 - Scala
#
parametricity
Here are 10 public repositories matching this topic...
Old Coq plugin for parametricity [maintainer=@ppedrot]
-
Updated
Aug 20, 2026 - OCaml
Formalization of the polymorphic lambda calculus and its parametricity theorem
-
Updated
Mar 17, 2025 - Coq
A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx,@MysaaJava]
-
Updated
Aug 27, 2026 - Rocq Prover
Stable sort algorithms and their stability proofs in Rocq
-
Updated
Aug 28, 2026 - Rocq Prover
Artifact for ICFP paper "Theorems for Free for Free"
-
Updated
Jun 29, 2017 - JavaScript
Corresponding example code from my blog post "Reasoning with Types in Rust"
-
Updated
Feb 26, 2018 - Rust
A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx,@MysaaJava]
-
Updated
Jul 22, 2026 - Rocq Prover
A calculus of units of measure with conversion, mechanized in Lean 4
-
Updated
Sep 4, 2026 - Lean
A framework for reasoning about the (un)realizability of polymorphic programs based on input-output examples.
-
Updated
Jul 26, 2026 - Haskell
Add this topic to your repo
To associate your repository with the parametricity topic, visit your repo's landing page and select "manage topics."