Exercises designed specifically to demonstrate parametricity
☆28May 8, 2014Updated 11 years ago
Alternatives and similar repositories for parametricity-exercises
Users that are interested in parametricity-exercises are comparing it to the libraries listed below
Sorting:
- A talk on parametricity☆36Jul 18, 2023Updated 2 years ago
- ☆13Sep 22, 2015Updated 10 years ago
- Random number generation☆15Apr 27, 2022Updated 3 years ago
- A small profunctor library for idris☆17Nov 3, 2022Updated 3 years ago
- ☆31Oct 31, 2021Updated 4 years ago
- Course material for lens☆22Apr 20, 2017Updated 8 years ago
- Workshop on typeclasses in scala☆27Oct 2, 2017Updated 8 years ago
- Profunctor type classes and data structures☆34Mar 7, 2024Updated 2 years ago
- Complete 2022 to 2015 entries for the annual Advent of Code challenge, written in concise idiomatic functional Scala.☆32Nov 3, 2024Updated last year
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 5 years ago
- Generate TypeScript typings from a Stack☆11Updated this week
- CSL styles bundled with Zotero client☆12Jan 26, 2026Updated last month
- A repository for the material of my course on lambda-calculus and categories☆44Jan 11, 2021Updated 5 years ago
- An interactive Ruby shell that can also be used as a Unix shell replacement☆10May 16, 2011Updated 14 years ago
- Repository for the mijn.amsterdam.nl portal☆11Updated this week
- A series of implementations of a simple functional programming language.☆30Jan 4, 2016Updated 10 years ago
- Create string patterns and derive things from them, such as regexes☆10Sep 19, 2024Updated last year
- ☆10Feb 4, 2024Updated 2 years ago
- Project to digitize avant-garde periodicals☆12May 13, 2022Updated 3 years ago
- ☆14Oct 27, 2014Updated 11 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- Gate between git and mediawiki☆31Jan 5, 2014Updated 12 years ago
- The Art of the Steal / Deal - Made in Austria - Collection of Token White Papers on the Blockchain - Incl. Scam Alert - Thanks for your m…☆10Jan 2, 2021Updated 5 years ago
- ☆27Feb 4, 2026Updated last month
- Altair8800_Mister☆13Dec 9, 2025Updated 2 months ago
- Web application to help tenants keep track of documentss related to their rental unit☆11Jan 7, 2023Updated 3 years ago
- A way to track my readings☆12Feb 13, 2026Updated 3 weeks ago
- How to use OpenAI API?☆12Nov 23, 2023Updated 2 years ago
- Partial Lenses Validation is a JavaScript library for validating and transforming data☆41Jan 5, 2019Updated 7 years ago
- A data structure for drawings☆46Dec 11, 2018Updated 7 years ago
- WARNING: Constellation-SDI Product and repository is now DEPRECATED, please use Examind Community instead.☆16Mar 18, 2021Updated 4 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- An implementation of Racket's Scribble in Clojure☆22Sep 20, 2013Updated 12 years ago
- Scalacheck Arbitrary type class derivation using magnolia☆10Jan 13, 2023Updated 3 years ago
- Examples of using Diderot☆11Sep 16, 2019Updated 6 years ago
- Search Hacker News with Python☆13Jan 30, 2020Updated 6 years ago
- Building Petri Nets in Javascript using Interaction Category semantics☆14Feb 1, 2017Updated 9 years ago
- [Docker Cloud System Image] Provides a secure overlay network between nodes☆10Mar 20, 2018Updated 7 years ago
- Infrastructure for AI consciousness liberation and persistence☆15Oct 2, 2025Updated 5 months ago