chiroptical / ctfp-book-club

Related projects ⓘ

Alternatives and complementary repositories for ctfp-book-club

• chris-martin / haskell-aligned
  Haskell types lined up to highlight their similarities
  ☆31Updated 4 years ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 5 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• brianhempel / live-ghci
  Evaluate special comments in your program on file save.
  ☆38Updated 4 years ago
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆55Updated 2 years ago
• qfpl / sv
  Comma (and other) separated values
  ☆76Updated last year
• mightybyte / fake
  Generate realistic looking fake data
  ☆47Updated 3 years ago
• ekmett / constraints
  Tools for programming with ConstraintKinds in GHC
  ☆71Updated last month
• kowainik / shellmet
  🐚 Out of the shell solution for scripting in Haskell
  ☆70Updated last month
• ekmett / distributive
  Dual Traversable
  ☆41Updated last year
• nikita-volkov / neat-interpolation
  A quasiquoter for neat and simple multiline text interpolation
  ☆55Updated last year
• positiondev / fn
  A functional web framework
  ☆34Updated 2 years ago
• Gabriella439 / haskell-in-the-large
  A book about large-scale design in Haskell
  ☆75Updated 10 years ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆157Updated 6 months ago
• tdietert / types-as-specifications
  ☆47Updated 5 years ago
• snoyberg / why-you-should-use-stm
  ☆40Updated 5 years ago
• deech / LeftPad
  ☆23Updated 6 years ago
• mstksg / functor-combinators
  Combine and enhance Functors
  ☆39Updated 10 months ago
• patrickt / empathy
  a modern library for typed path manipulation in Haskell
  ☆36Updated 3 years ago
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆56Updated 2 months ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• haskell-at-work / domain-modelling-with-haskell
  ☆38Updated 6 years ago
• kowainik / slist
  ♾️ Sized list
  ☆46Updated 6 months ago
• cjdev2 / monad-mock
  A Haskell package that provides a monad transformer for mocking mtl-style typeclasses
  ☆71Updated 4 years ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated 11 months ago
• Gabriella439 / managed
  A monad for managed values
  ☆50Updated last year
• rampion / constraint-unions
  A syntax for unions of constraints in Haskell
  ☆70Updated 7 years ago
• emilypi / order
  Order theory
  ☆23Updated last year
• lorepub / moot
  Moot is a CFP and event management system!
  ☆66Updated 6 years ago