Alternatives and similar repositories for markdown-to-html:

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

• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆30Updated 3 months ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆59Updated 2 months ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 5 months ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆37Updated 4 years ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆223Updated 4 months ago
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆94Updated 3 weeks ago
• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• lambda-11235 / ttyped
  A simple dependently typed language based on the Calculus of Constructions.
  ☆17Updated 4 years ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆124Updated 4 years ago
• con-kitty / categorifier-c
  Haskell to C compiler via Categorifier
  ☆32Updated last year
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆113Updated last week
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated 7 months ago
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆157Updated 3 months ago
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆34Updated 9 months ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆94Updated 3 weeks ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆84Updated last month
• haflang / heron
  A special-purpose processor for pure, non-strict functional languages
  ☆28Updated 3 months ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆185Updated 2 weeks ago
• wasp-lang / haskell-handbook
  Best practices on how to be efficient with Haskell in production
  ☆96Updated 9 months ago
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆41Updated last year
• grin-compiler / ghc-whole-program-compiler-project
  GHC Whole Program Compiler and External STG IR tooling
  ☆118Updated 4 months ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆34Updated last week
• AndrasKovacs / cctt
  high-performance cubical evaluation
  ☆70Updated 4 months ago
• ucsd-progsys / liquid-fixpoint
  Horn Clause Constraint Solving for Liquid Types
  ☆144Updated last week
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆48Updated 3 weeks ago
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆71Updated last year
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆121Updated 2 months ago
• tomjaguarpaw / bluefin
  ☆92Updated 2 weeks ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆47Updated 2 years ago