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:
- Template Haskell Workshop☆52Updated 3 years ago
- Nix builds of Haskell Language Server☆47Updated last year
- Demo for using Threepenny GUI together with Electron to create a portable Desktop GUI Application in Haskell☆54Updated last year
- Example of usage polysemy and servant☆56Updated 5 years ago
- A small example of using mtl style to unit test effectful code☆107Updated 7 years ago
- ☆68Updated 4 years ago
- First-class type families☆88Updated 2 weeks ago
- A collection of Haskell's WATs☆92Updated 4 months ago
- Set breakpoints using a GHC plugin☆49Updated last year
- Make Document Object Model (DOM) apps that run in any browser and natively using WebKitGtk☆75Updated 7 months ago
- A Haskell library for open records and variants using closed type families and type literals☆112Updated 2 years ago
- Exploring the options for incremental Haskell builds using Nix☆106Updated 2 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆99Updated 3 weeks ago
- A package index for the Haskell ecosystem☆140Updated this week
- A utility for displaying the module dependencies of Haskell programs.☆183Updated 11 months ago
- Translate Cabals Generic Package Description to a Nix expression☆95Updated last year
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- ☆45Updated 2 months ago
- Haskell job queue with admin UI and loads of other features.☆76Updated 7 months ago
- An example of an "isomorphic" Miso server set up with stack☆44Updated 4 years ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- A presentation for BayHac 2017 on how I uses lenses at work☆77Updated 8 years ago
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆67Updated last year
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated 2 years ago
- Measure allocations of a Haskell functions/values☆95Updated 7 months ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆156Updated 4 years ago
- ☆29Updated 5 years ago
- constraint level if statements☆116Updated 7 years ago
- Stream editing with Haskell Megaparsec parsers☆79Updated last year
- Docker image with GHC+musl for static executables☆138Updated last year