Alternatives and similar repositories for markdown-to-html

Users that are interested in markdown-to-html are comparing it to the libraries listed below

• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆42Updated 3 weeks ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆122Updated 8 months ago
• effectfully / sketches
  A Haskell blog
  ☆151Updated 4 months ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆91Updated last year
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆60Updated 4 months ago
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆110Updated 2 weeks ago
• pigworker / CS410-18
  being the teaching materials and exercises for CS410 in the 2018/19 session
  ☆57Updated 6 years ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆200Updated last week
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆95Updated 2 weeks ago
• gshen42 / HasChor
  Functional choreographic programming in Haskell
  ☆115Updated 8 months ago
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆121Updated this week
• effectfully / haskell-challenges
  Code challenges to solve with Haskell
  ☆185Updated 4 months ago
• morphismtech / distributors
  Distributors - Unifying Parsers, Printers & Grammars
  ☆62Updated this week
• BartoszMilewski / DeepLearning
  Neural networks using parametric prelenses and Trimbara modules
  ☆36Updated last year
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆38Updated 5 years ago
• grin-compiler / ghc-whole-program-compiler-project
  GHC Whole Program Compiler and External STG IR tooling
  ☆120Updated 3 months ago
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆48Updated 2 years ago
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆126Updated this week
• ad-si / Brillo
  Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)
  ☆44Updated last week
• haskell / core-libraries-committee
  ☆108Updated last month
• oisdk / agda-ring-solver
  A fast, easy-to-use ring solver for agda with step-by-step solutions
  ☆40Updated 3 years ago
• haskell-game / tiny-games-hs
  Haskell Tiny Game Jam
  ☆167Updated 2 years ago
• haskell / play-haskell
  Haskell Playground
  ☆157Updated 3 weeks ago
• penkovsky / 10-days-of-grad
  Neural Networks and Deep Learning
  ☆33Updated 2 years ago
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆108Updated this week
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆75Updated 3 years ago
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆173Updated 4 months ago
• emilypi / group-theory
  The theory of groups
  ☆81Updated 2 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆55Updated 8 years ago
• soupi / rfc
  My slides and compilation of resources.
  ☆159Updated last year