tonymorris / parametricity-exercisesView external linksLinks
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
- 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 last year
- A repository for the material of my course on lambda-calculus and categories☆44Jan 11, 2021Updated 5 years ago
- Ardumoto Motor Driver Shield for Arduino, created by and available from SparkFun Electronics☆10Aug 13, 2019Updated 6 years ago
- An interactive Ruby shell that can also be used as a Unix shell replacement☆10May 16, 2011Updated 14 years ago
- Generate TypeScript typings from a Stack☆11Updated this week
- Repository for the mijn.amsterdam.nl portal☆11Feb 6, 2026Updated last week
- Asteroids for a web browser, in PureScript☆44Sep 4, 2014Updated 11 years ago
- A series of implementations of a simple functional programming language.☆30Jan 4, 2016Updated 10 years ago
- Gate between git and mediawiki☆31Jan 5, 2014Updated 12 years ago
- Create string patterns and derive things from them, such as regexes☆10Sep 19, 2024Updated last year
- ☆14Oct 27, 2014Updated 11 years ago
- ☆12Nov 24, 2019Updated 6 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- ☆27Feb 4, 2026Updated last week
- Altair8800_Mister☆13Dec 9, 2025Updated 2 months ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 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
- Partial Lenses Validation is a JavaScript library for validating and transforming data☆41Jan 5, 2019Updated 7 years ago
- Setup an MCP server in 60 seconds.☆13Dec 12, 2024Updated last year
- Free group automorphisms and train-track representative in python/sage☆12Sep 18, 2025Updated 4 months ago
- ☆11Sep 30, 2017Updated 8 years ago
- ☆11Jan 4, 2023Updated 3 years ago
- a simple cms built with ember.js and backed by a google spreadsheet☆24Jun 14, 2013Updated 12 years ago
- JVM bytecode assembler as REST api☆11Jul 27, 2025Updated 6 months ago
- ☆13Apr 11, 2023Updated 2 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- Datasette plugin adding a llm_embed(model_id, text) SQL function☆17Mar 17, 2024Updated last year
- Examples of using Diderot☆11Sep 16, 2019Updated 6 years ago
- Gist API sample app☆11Jun 15, 2016Updated 9 years ago
- Make WinRM service calls from NodeJS☆11Jan 4, 2023Updated 3 years ago
- ☆10Jul 31, 2018Updated 7 years ago
- Manifests list for a multi-arch Docker image☆11Jan 23, 2019Updated 7 years ago
- TFTP Server employing negative latency☆16Oct 22, 2008Updated 17 years ago