Alternatives and similar repositories for Writing:

Users that are interested in Writing are comparing it to the libraries listed below

• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• ChrisPenner / comonads-by-example
  Comonads By Example Conference talk
  ☆89Updated 5 years ago
• matsumonkie / izuna
  Show Haskell type annotations when doing code review on Github
  ☆142Updated 4 years ago
• michaelt / tagless
  oleg modules
  ☆30Updated 12 years ago
• BartoszMilewski / AoC2019
  Solutions to Advent of Code 2019
  ☆50Updated 5 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆72Updated 4 years ago
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 4 years ago
• fp-works / function-composition-cheatsheet
  Composition of Functions
  ☆24Updated 4 years ago
• chiroptical / ctfp-book-club
  Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski
  ☆26Updated 2 years ago
• dorchard / effect-monad
  Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
  ☆100Updated last year
• ekmett / bifunctors
  Haskell 98 bifunctors, bifoldables and bitraversables
  ☆57Updated last month
• ekmett / semigroupoids
  ☆75Updated last month
• purescript / purescript-free
  Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.
  ☆94Updated last year
• snowleopard / selective
  Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆205Updated last year
• fpco / applied-haskell
  ☆80Updated 6 years ago
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆144Updated 3 years ago
• xgrommx / idris-ecosystem
  ☆49Updated 7 years ago
• HeinrichApfelmus / vault
  A typed, persistent store for values of arbitrary types
  ☆60Updated last month
• spl / dlist
  Difference lists in Haskell
  ☆65Updated 9 months ago
• tdietert / types-as-specifications
  ☆49Updated 5 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• EduardSergeev / monad-memo
  Memoization monad transformer
  ☆30Updated 11 months ago
• codedownio / aeson-typescript
  Generate TypeScript definition files from your ADTs
  ☆62Updated 2 months ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 8 years ago
• mrkkrp / parser-combinators
  Lightweight package providing commonly useful parser combinators
  ☆54Updated 2 months ago
• target / row-types
  A Haskell library for open records and variants using closed type families and type literals
  ☆112Updated 2 years ago
• kowainik / prolens
  👓 Profunctor based lightweight implementation of Lenses
  ☆71Updated last year
• ekmett / algebra
  constructive abstract algebra
  ☆103Updated 5 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 7 years ago
• KingoftheHomeless / in-other-words
  A higher-order effect system where the sky's the limit
  ☆91Updated 2 years ago