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
- ☆103Updated 5 years ago
- Template Haskell Workshop☆52Updated 4 years ago
- Demo for using Threepenny GUI together with Electron to create a portable Desktop GUI Application in Haskell☆55Updated 2 years ago
- ☆67Updated 5 years ago
- ☆80Updated 6 years ago
- A tutorial for reflex-dom with small code bits☆115Updated 2 years ago
- Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.☆25Updated 2 years ago
- Minimalistic single page example of Miso's isomorphic feature.☆92Updated 5 years ago
- Analyze GHC .dump-timings files☆111Updated last year
- A collection of Haskell's WATs☆94Updated 10 months ago
- A guided workshop through implementing the realworld demo app in obelisk.☆14Updated 5 years ago
- Nix builds of Haskell Language Server☆47Updated last year
- Implementing Quake 3 in Haskell & Vulkan☆166Updated 5 years ago
- An example of an "isomorphic" Miso server set up with stack☆43Updated 5 years ago
- Increase your magnification 🔭 and zoom deep into a record.☆39Updated last year
- Querying a rate-limited currency exchange API using Redis as a cache☆43Updated 5 years ago
- »I want Stackage on an airplane and I have only 3 minutes until takeoff«☆84Updated 7 years ago
- JSON decoding/encoding/manipulation library.☆94Updated 3 years ago
- An example Haskell web application☆151Updated 7 years ago
- Browse Hackage from the terminal☆102Updated 2 months ago
- Docker image with GHC+musl for static executables☆139Updated last year
- ☆50Updated 6 years ago
- Port of purescript-halogen to Haskell☆49Updated 6 months ago
- Scrap your hand-rolled aeson instances☆114Updated last year
- Aligning characters for fun and profit, with Haskell and PureScript☆74Updated 7 years ago
- constraint level if statements☆117Updated 8 years ago
- VSCode extension for Haskell☆110Updated 10 months ago
- Cookiecutter template for Servant projects☆57Updated 4 years ago