wkolowski / Typonomikon
Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
☆11Updated this week
Alternatives and similar repositories for Typonomikon:
Users that are interested in Typonomikon are comparing it to the libraries listed below
- A small example of using mtl style to unit test effectful code☆106Updated 7 years ago
- ☆68Updated 4 years ago
- Talk & associated code written for the Brisbane Functional Programming Group 2015-02-24☆56Updated 9 years ago
- An example Haskell web application☆147Updated 6 years ago
- Demo for using Threepenny GUI together with Electron to create a portable Desktop GUI Application in Haskell☆54Updated last year
- Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.☆26Updated 2 years ago
- A migration library for Persistent☆29Updated 3 years ago
- A Haskell implementation of JSON Web Token (JWT)☆36Updated last year
- A List of Foundational Haskell Papers☆38Updated 6 years ago
- Template Haskell Workshop☆52Updated 3 years ago
- VSCode extension for Haskell☆109Updated last month
- Nix builds of Haskell Language Server☆47Updated 9 months ago
- ☆49Updated 5 years ago
- Extra Haskell functions☆94Updated last month
- Analyze GHC .dump-timings files☆105Updated last year
- Setting up a Haskell development environment with Nix☆20Updated 4 years ago
- ☆17Updated 4 years ago
- Example of usage polysemy and servant☆57Updated 5 years ago
- Examples of tools for use in basic utility scripts☆51Updated 6 years ago
- CQRS Implementation for Haskell☆48Updated 3 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆155Updated 3 years ago
- ☆80Updated 6 years ago
- ☆103Updated 4 years ago
- First-class type families☆87Updated 6 months ago
- Scrap your hand-rolled aeson instances☆112Updated 2 months ago
- A quick, easy, and declarative task runner for Haskell code to destroy your boiler plate!☆33Updated 6 years ago
- Increase your magnification 🔭 and zoom deep into a record.☆39Updated 11 months ago
- Minimalistic single page example of Miso's isomorphic feature.☆93Updated 4 years ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆99Updated 3 years ago
- Aligning characters for fun and profit, with Haskell and PureScript☆74Updated 7 years ago