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
• chiroptical / ctfp-book-club
  Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski
  ☆26Updated 3 years ago
• ekmett / algebra
  constructive abstract algebra
  ☆104Updated 6 years ago
• ChrisPenner / comonads-by-example
  Comonads By Example Conference talk
  ☆89Updated 6 years ago
• awalterschulze / category-theory-for-programmers-challenges
  Challenges from Category Theory for Programmers
  ☆127Updated last year
• chris-martin / haskell-aligned
  Haskell types lined up to highlight their similarities
  ☆30Updated 6 years ago
• BartoszMilewski / AoC2019
  Solutions to Advent of Code 2019
  ☆50Updated 6 years ago
• snowleopard / alga-paper
  A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
  ☆200Updated 4 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆215Updated 2 years ago
• ndmitchell / uniplate
  Haskell library for simple, concise and fast generic operations.
  ☆82Updated 2 years ago
• patrickt / haskell-project-ideas
  Free ideas, worth every penny
  ☆33Updated 5 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆85Updated 8 months ago
• lettier / parsing-with-haskell-parser-combinators
  🔍 A step-by-step guide to parsing using Haskell parser combinators.
  ☆93Updated 6 years ago
• Simspace / avaleryar
  A logical authorization system
  ☆51Updated 3 years ago
• mattpolzin / harmony
  Harmonize with coworkers around GitHub reviewing.
  ☆23Updated this week
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆162Updated 5 years ago
• fpco / applied-haskell
  ☆80Updated 6 years ago
• tdietert / types-as-specifications
  ☆50Updated 6 years ago
• arthurxavierx / purescript-comonad-rss
  RSS feed reader written for the second part of my bachelor thesis: A Real-World Application with a Comonadic User Interface.
  ☆52Updated 7 years ago
• qfpl / parley
  Beginner friendly demo of a blog comments app
  ☆20Updated 8 years ago
• fpco / schoolofhaskell.com
  ☆15Updated 5 years ago
• robrix / path
  A lambda calculus to explore type-directed program synthesis.
  ☆85Updated 6 years ago
• chiroptical / thinking-with-types
  Working through the Thinking with Types book in Haskell
  ☆34Updated 5 years ago
• SPY / haskell-wasm
  Haskell WebAssembly Toolkit
  ☆155Updated last year
• freeman42x / haskell-editor-setup
  Easy instructions for setting up Haskell editors / IDEs on any major operating system.
  ☆101Updated last year
• ajnsit / purescript-companies
  Community curated list of companies that use Purescript
  ☆143Updated last year
• marick / purescript-lenses
  Supporting code for the book /Lenses for the Mere Mortal: PureScript Edition/
  ☆33Updated 3 years ago
• tweag / inline-js
  Call JavaScript from Haskell, and vice versa!
  ☆135Updated last year
• purescript / purescript-free
  Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.
  ☆96Updated 2 years ago
• tysonzero / algebraic-structures
  A gv file representing the relationships between various algebraic structures.
  ☆19Updated 5 years ago