wkolowski / TyponomikonLinks
Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
☆12Updated last month
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 7 years ago
- ☆67Updated 5 years ago
- Talk & associated code written for the Brisbane Functional Programming Group 2015-02-24☆56Updated 10 years ago
- Template Haskell Workshop☆52Updated 3 years ago
- A tutorial on writing Haskell Language Server plugins☆70Updated 5 years ago
- A tutorial for reflex-dom with small code bits☆115Updated 2 years ago
- ☆103Updated 4 years ago
- A utility for displaying the module dependencies of Haskell programs.☆184Updated last year
- Demo for using Threepenny GUI together with Electron to create a portable Desktop GUI Application in Haskell☆55Updated last year
- A modern template for a Servant☆53Updated last year
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 5 years ago
- Analyze GHC .dump-timings files☆108Updated last year
- An example Haskell web application☆148Updated 7 years ago
- VSCode extension for Haskell☆111Updated 8 months ago
- Setting up a Haskell development environment with Nix☆20Updated 5 years ago
- First-class type families☆88Updated last week
- A collection of Haskell's WATs☆94Updated 8 months ago
- Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.☆25Updated 2 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆156Updated 4 years ago
- Comonads By Example Conference talk☆89Updated 6 years ago
- Generate reflex client functions for querying a servant API☆79Updated 2 years ago
- Haskell bindings for the W3C WebDriver API☆23Updated last year
- An example of an "isomorphic" Miso server set up with stack☆43Updated 5 years ago
- ☆80Updated 6 years ago
- Minimalistic single page example of Miso's isomorphic feature.☆92Updated 5 years ago
- self(auto)- documenting encoders and decoders☆128Updated 3 months ago
- ☆50Updated 5 years ago
- A Haskell implementation of JSON Web Token (JWT)☆36Updated last year
- Extra Haskell functions☆96Updated 2 months ago
- Scrap your hand-rolled aeson instances☆113Updated 10 months ago