wkolowski / TyponomikonLinks
Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
☆12Updated 3 months ago
Alternatives and similar repositories for Typonomikon
Users that are interested in Typonomikon are comparing it to the libraries listed below
Sorting:
- A small example of using mtl style to unit test effectful code☆107Updated 8 years ago
- Talk & associated code written for the Brisbane Functional Programming Group 2015-02-24☆56Updated 10 years ago
- A tutorial for reflex-dom with small code bits☆115Updated 2 years ago
- Analyze GHC .dump-timings files☆111Updated last year
- Template Haskell Workshop☆52Updated 4 years ago
- ☆67Updated 5 years ago
- Demo for using Threepenny GUI together with Electron to create a portable Desktop GUI Application in Haskell☆55Updated last year
- A collection of Haskell's WATs☆94Updated 10 months ago
- A Haskell implementation of realworld.io☆55Updated last year
- A tutorial on writing Haskell Language Server plugins☆70Updated 5 years ago
- A Haskell implementation of JSON Web Token (JWT)☆36Updated last year
- Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.☆25Updated 2 years ago
- Example of usage polysemy and servant☆57Updated 6 years ago
- A modern template for a Servant☆54Updated last year
- ☆103Updated 4 years ago
- Setting up a Haskell development environment with Nix☆20Updated 5 years ago
- Nix builds of Haskell Language Server☆47Updated last year
- Increase your magnification 🔭 and zoom deep into a record.☆39Updated last year
- Generate reflex client functions for querying a servant API☆79Updated 2 years ago
- Scrap your hand-rolled aeson instances☆114Updated last year
- Proposed changes to Haskell Core Libraries☆19Updated 5 years ago
- ☆99Updated 4 months ago
- A minimal host for sdl2 based reflex apps.☆28Updated last year
- Data types for compositional, type-directed serialization☆13Updated 2 years ago
- First-class type families☆90Updated 2 weeks ago
- Port of purescript-halogen to Haskell☆49Updated 5 months ago
- ☆50Updated 6 years ago
- Course for learning how to apply property-based state-machine testing☆62Updated 6 years ago
- ☆89Updated 7 years ago
- Measure allocations of a Haskell functions/values☆99Updated last year