wkolowski / TyponomikonLinks
Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
☆12Updated 5 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
- ☆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 4 years ago
- Generate reflex client functions for querying a servant API☆79Updated 2 years ago
- Demo for using Threepenny GUI together with Electron to create a portable Desktop GUI Application in Haskell☆55Updated 2 years ago
- A tutorial for reflex-dom with small code bits☆115Updated 3 years ago
- An example Haskell web application☆150Updated 7 years ago
- ☆103Updated 5 years ago
- Analyze GHC .dump-timings files☆111Updated last year
- A quick, easy, and declarative task runner for Haskell code to destroy your boiler plate!☆32Updated 7 years ago
- Proposed changes to Haskell Core Libraries☆19Updated 5 years ago
- ☆89Updated 5 years ago
- Measure allocations of a Haskell functions/values☆101Updated last year
- Nix builds of Haskell Language Server☆47Updated last year
- Aligning characters for fun and profit, with Haskell and PureScript☆74Updated 8 years ago
- Nix packages for Haskell IDE Engine☆113Updated 6 years ago
- Setting up a Haskell development environment with Nix☆20Updated 5 years ago
- A Haskell implementation of JSON Web Token (JWT)☆36Updated last year
- A tutorial on writing Haskell Language Server plugins☆70Updated 5 years ago
- A minimal host for sdl2 based reflex apps.☆28Updated last year
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 5 years ago
- Scrap your hand-rolled aeson instances☆114Updated last year
- ☆50Updated 6 years ago
- A utility for displaying the module dependencies of Haskell programs.☆185Updated last year
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆97Updated 4 years ago
- ☆80Updated 6 years ago
- An example of an "isomorphic" Miso server set up with stack☆43Updated 5 years ago
- A collection of Haskell's WATs☆94Updated last year
- Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.☆25Updated 3 years ago