nikivazou / presentations

Related projects: ⓘ

• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆70Updated 7 years ago
• kowainik / slist
  ♾️ Sized list
  ☆46Updated 4 months ago
• isovector / type-errors
  tools for writing better type errors
  ☆73Updated last year
• cjdev / monad-mock
  A Haskell package that provides a monad transformer for mocking mtl-style typeclasses
  ☆71Updated 4 years ago
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆38Updated last year
• system-f / validation
  A data-type like Either but with an accumulating Applicative
  ☆99Updated last year
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆65Updated 3 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• dorchard / effect-monad
  Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
  ☆98Updated last year
• brianhempel / live-ghci
  Evaluate special comments in your program on file save.
  ☆38Updated 3 years ago
• paf31 / haskell-slides
  ☆50Updated 8 years ago
• ChrisPenner / astar-monad
  A smart A* search monad transformer which supports backtracking user-state!
  ☆81Updated 3 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• ChrisPenner / mad-props
  Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.
  ☆66Updated last year
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆156Updated 4 months ago
• ekmett / auth
  ☆41Updated 6 years ago
• bitemyapp / papers
  ☆34Updated 5 years ago
• qfpl / sv
  Comma (and other) separated values
  ☆77Updated 10 months ago
• jberthold / packman
  Evaluation-orthogonal serialisation of Haskell data, as a library
  ☆59Updated 5 years ago
• haskell-checkers / checkers
  Check properties on standard classes and data structures
  ☆79Updated 8 months ago
• mbg / hindley-milner
  Template for Hindley-Milner based languages
  ☆39Updated 2 years ago
• ocharles / what-it-do
  Automatically trace all (showable) binds in do expressions
  ☆84Updated 6 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆60Updated 4 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆63Updated 3 months ago
• ekmett / constraints
  Tools for programming with ConstraintKinds in GHC
  ☆71Updated 2 months ago
• pheymann / specdris
  A test framework for Idris
  ☆56Updated 5 years ago
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆55Updated 2 years ago
• ndmitchell / spaceleak
  Notes on space leaks
  ☆101Updated 3 years ago
• haskellari / these
  An either-or-both data type, with corresponding hybrid error/writer monad transformer.
  ☆117Updated last month
• chris-martin / haskell-aligned
  Haskell types lined up to highlight their similarities
  ☆31Updated 4 years ago