wkolowski / Typonomikon
Ź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
- Nix builds of Haskell Language Server☆47Updated 10 months ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆93Updated 3 weeks ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- Set breakpoints using a GHC plugin☆49Updated 10 months ago
- Template Haskell Workshop☆52Updated 3 years ago
- ☆68Updated 4 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆80Updated 5 years ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- VSCode extension for Haskell☆110Updated 2 months ago
- A package index for the Haskell ecosystem☆134Updated this week
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.☆26Updated 2 years ago
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆66Updated last year
- ⚡️Efficient implementation of Map with types as keys☆101Updated last year
- A quick, easy, and declarative task runner for Haskell code to destroy your boiler plate!☆33Updated 7 years ago
- Prune unused Haskell dependencies.☆47Updated 2 years ago
- A Haskell implementation of JSON Web Token (JWT)☆36Updated last year
- Haskell Functional Reactive Programming framework with type-level clocks☆129Updated this week
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated last year
- A small example of using mtl style to unit test effectful code☆106Updated 7 years ago
- CI assistant☆46Updated 2 months ago
- Example of usage polysemy and servant☆57Updated 5 years ago
- ☆90Updated last week
- First-class type families☆87Updated 7 months ago
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated last year
- Stream editing with Haskell Megaparsec parsers☆79Updated 10 months ago
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated last year
- Make Document Object Model (DOM) apps that run in any browser and natively using WebKitGtk☆75Updated 5 months ago
- Measure allocations of a Haskell functions/values☆94Updated 5 months ago
- A modern testing framework for Haskell with good defaults and advanced testing features.☆120Updated 2 weeks ago