nikivazou / presentationsLinks
Presentations on Liquid Haskell, type theory, and more
☆45Updated last year
Alternatives and similar repositories for presentations
Users that are interested in presentations are comparing it to the libraries listed below
Sorting:
- Slides & demos for talks I do☆58Updated 4 months ago
- ♾️ Sized list☆47Updated 3 weeks ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Evaluate special comments in your program on file save.☆39Updated 5 years ago
- A data-type like Either but with an accumulating Applicative☆100Updated 2 years ago
- A fast open-union type, suitable for 100+ contained alternatives.☆100Updated last year
- ☆36Updated 6 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Zippers based on lenses and traversals☆41Updated 2 years ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆70Updated 6 years ago
- Evaluation-orthogonal serialisation of Haskell data, as a library☆62Updated last year
- Tools for programming with ConstraintKinds in GHC☆74Updated 2 weeks ago
- A magic typeclass that just does it☆126Updated 3 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 9 years ago
- Hedgehog will eat your typeclass bugs☆57Updated 8 months ago
- tools for writing better type errors☆73Updated 2 years ago
- Haskell types lined up to highlight their similarities☆30Updated 6 years ago
- Haskell library for simple, concise and fast generic operations.☆82Updated 2 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 4 years ago
- Notes on space leaks☆103Updated 5 years ago
- Template for Hindley-Milner based languages☆39Updated 4 years ago
- Compile Dhall expressions to Cabal files☆101Updated 3 years ago
- A smart A* search monad transformer which supports backtracking user-state!☆82Updated 4 years ago
- ☆50Updated 10 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 2 weeks ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- A PureScript interpreter in Haskell☆121Updated 3 years ago
- Generic Programming using True Sums of Products☆164Updated last month
- Named parameters (keyword arguments) for Haskell☆98Updated 10 months ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆99Updated 3 months ago