nikivazou / presentations

Related projects ⓘ

Alternatives and complementary repositories for presentations

• kowainik / slist
  ♾️ Sized list
  ☆46Updated 6 months ago
• isovector / type-errors
  tools for writing better type errors
  ☆73Updated last year
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆71Updated 7 years ago
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆38Updated last year
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆57Updated 5 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• system-f / validation
  A data-type like Either but with an accumulating Applicative
  ☆99Updated last year
• mbg / hindley-milner
  Template for Hindley-Milner based languages
  ☆39Updated 2 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• ChrisPenner / astar-monad
  A smart A* search monad transformer which supports backtracking user-state!
  ☆81Updated 3 years ago
• UnkindPartition / immortal
  Spawn threads that never die (unless told to do so)
  ☆37Updated 6 years ago
• nmattia / wai-lambda
  Haskell Webapps on AWS Lambda
  ☆44Updated last year
• ekmett / constraints
  Tools for programming with ConstraintKinds in GHC
  ☆71Updated last month
• gallais / potpourri
  Where my everyday research happens
  ☆53Updated last week
• jaspervdj / talks
  Slides & demos for talks I do
  ☆60Updated 4 years ago
• typeable / schematic
  type-safe JSON spec and validation tool
  ☆84Updated 3 years ago
• unclechu / purescript-for-haskellers
  Some info that supposed to help to understand PureScript from Haskell perspective
  ☆32Updated 6 years ago
• bgamari / io-uring
  A simple set of io-uring bindings in Haskell
  ☆28Updated 4 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 6 years ago
• chris-martin / haskell-aligned
  Haskell types lined up to highlight their similarities
  ☆31Updated 4 years ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated last year
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 7 years ago
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 2 years ago
• ekmett / kan-extensions
  Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  ☆79Updated 3 weeks ago
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆56Updated 2 months ago
• cjdev2 / monad-mock
  A Haskell package that provides a monad transformer for mocking mtl-style typeclasses
  ☆71Updated 4 years ago
• haskell-checkers / checkers
  Check properties on standard classes and data structures
  ☆79Updated 10 months ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆157Updated 6 months ago