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
  ☆38Updated 6 months ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆91Updated 10 months ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆62Updated 2 months ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆227Updated 2 months ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated last year
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆102Updated last week
• emilypi / group-theory
  The theory of groups
  ☆79Updated last year
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆31Updated 2 weeks ago
• benediktahrens / CT4P
  ☆34Updated 8 months ago
• haskell / play-haskell
  Haskell Playground
  ☆142Updated 2 months ago
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆101Updated this week
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 2 years ago
• vmchale / dickinson
  Text generation language
  ☆34Updated 2 weeks ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆72Updated last month
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆56Updated 10 years ago
• ucsd-progsys / liquid-fixpoint
  Horn Clause Constraint Solving for Liquid Types
  ☆150Updated last month
• BartoszMilewski / DeepLearning
  Neural networks using parametric prelenses and Trimbara modules
  ☆33Updated last year
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆18Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 5 months ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 3 years ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated last year
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• alt-romes / ghengin
  Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
  ☆60Updated last month
• effectfully-ou / sketches
  A Haskell blog
  ☆144Updated last week
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆162Updated last year
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 8 months ago
• gshen42 / HasChor
  Functional choreographic programming in Haskell
  ☆95Updated last month
• JonathanLorimer / conceptual-mathematics
  Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
  ☆29Updated 3 years ago
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆43Updated last month