wkolowski / Typonomikon
Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
☆11Updated last week
Alternatives and similar repositories for Typonomikon:
Users that are interested in Typonomikon are comparing it to the libraries listed below
- ☆68Updated 4 years ago
- A small example of using mtl style to unit test effectful code☆106Updated 7 years ago
- Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.☆26Updated 2 years ago
- Template Haskell Workshop☆52Updated 3 years ago
- Haskell bindings for the W3C WebDriver API☆22Updated 5 months ago
- ☆103Updated 4 years ago
- A Haskell implementation of JSON Web Token (JWT)☆36Updated 11 months ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- Higher level support for implementing reflex frameworks☆30Updated 4 years ago
- Analyze GHC .dump-timings files☆104Updated 11 months ago
- A migration library for Persistent☆29Updated 3 years ago
- A Typeclass for user-facing output☆55Updated 2 weeks ago
- Talk & associated code written for the Brisbane Functional Programming Group 2015-02-24☆56Updated 9 years ago
- First-class type families☆87Updated 4 months ago
- A tutorial for reflex-dom with small code bits☆115Updated 2 years ago
- VSCode extension for Haskell☆109Updated last year
- Experimental, user-contributed effects and interpreters for polysemy☆71Updated last year
- An example of an "isomorphic" Miso server set up with stack☆44Updated 4 years ago
- Format Haskell package descriptions.☆48Updated last month
- Data types for compositional, type-directed serialization☆13Updated last year
- Web app for typical Haskeller's answers to everything☆21Updated 4 years ago
- ☆80Updated 5 years ago
- Example of usage polysemy and servant☆56Updated 5 years ago
- Measure allocations of a Haskell functions/values☆93Updated 2 months ago
- Generate reflex client functions for querying a servant API☆79Updated last year
- »I want Stackage on an airplane and I have only 3 minutes until takeoff«☆84Updated 6 years ago
- A quick, easy, and declarative task runner for Haskell code to destroy your boiler plate!☆33Updated 6 years ago
- ☆88Updated 4 years ago
- Proposed changes to Haskell Core Libraries☆19Updated 4 years ago