A talk on parametricity
☆36Jul 18, 2023Updated 2 years ago
Alternatives and similar repositories for parametricity
Users that are interested in parametricity are comparing it to the libraries listed below
Sorting:
- Exercises designed specifically to demonstrate parametricity☆28May 8, 2014Updated 11 years ago
- ☆12May 9, 2015Updated 10 years ago
- lazy promises☆28Jan 8, 2021Updated 5 years ago
- fast unique variables☆10Aug 23, 2025Updated 6 months ago
- Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding☆46Jan 10, 2016Updated 10 years ago
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Apr 27, 2022Updated 3 years ago
- Brainfuck formalized in Coq☆31Mar 29, 2022Updated 3 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- CargoCoin is designed to be a smart contract, crypto currency platform, decentralising global trade and transport. The platform target is…☆13Aug 8, 2018Updated 7 years ago
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 5 years ago
- Random number generation☆15Apr 27, 2022Updated 3 years ago
- Efficient parsing and encoding of Lisp expressions for Haskell.☆25Feb 13, 2020Updated 6 years ago
- playing with hyperfunctions☆16May 2, 2021Updated 4 years ago
- Poor Richard's Memory Manager☆15Apr 13, 2021Updated 4 years ago
- Pretty printer of Scala☆20Oct 21, 2020Updated 5 years ago
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Jul 21, 2017Updated 8 years ago
- Miscellaneous constructions on monoids☆24Jan 29, 2026Updated last month
- lazy continued fractions☆19Aug 5, 2015Updated 10 years ago
- Apache Kafka Protocol implementation in Haskell☆16May 16, 2016Updated 9 years ago
- Knowledge of classical mechanics, written in haskell.☆14Feb 11, 2013Updated 13 years ago
- Clojure-style transients for Haskell☆35Jun 27, 2022Updated 3 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆72Jun 2, 2015Updated 10 years ago
- Gtk-based screen capturing utility for XMonad.☆25Apr 9, 2025Updated 10 months ago
- IPython-style interaction for Cryptol☆15Dec 5, 2016Updated 9 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆31Sep 6, 2019Updated 6 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- An experimental "Turbo" Haskell Runtime - Nothing really to see here yet☆17Sep 16, 2015Updated 10 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆39Apr 11, 2017Updated 8 years ago
- Haskell 98 bifunctors, bifoldables and bitraversables☆58Jan 11, 2026Updated last month
- Easy FFI for PureScript☆35May 24, 2022Updated 3 years ago
- encoding of Rúnar's "Reasonably priced monads"☆21Jul 8, 2014Updated 11 years ago
- Automatically make lenses from data structures implementing Generic☆26Feb 14, 2015Updated 11 years ago
- ☆31Oct 31, 2021Updated 4 years ago
- TODO☆23Oct 10, 2015Updated 10 years ago
- Accepted papers for ICFP 2014☆119May 19, 2016Updated 9 years ago
- MPI bindings for Haskell☆46Apr 1, 2023Updated 2 years ago
- A package exposing a function for generating catamorphisms.☆29Apr 15, 2018Updated 7 years ago
- Content for cloud computing workshop☆15Apr 20, 2018Updated 7 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago