adam-mcdaniel / markdown-to-html

Related projects ⓘ

Alternatives and complementary repositories for markdown-to-html

• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆35Updated 4 years ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆57Updated last week
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆82Updated this week
• alt-romes / reference-counting
  Reference counting with linear types
  ☆30Updated 4 months ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆90Updated 3 weeks ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆83Updated last year
• JonathanLorimer / conceptual-mathematics
  Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
  ☆26Updated 2 years ago
• tomjaguarpaw / bluefin
  ☆74Updated this week
• ucsd-progsys / liquid-fixpoint
  Horn Clause Constraint Solving for Liquid Types
  ☆141Updated this week
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆177Updated last month
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆107Updated 2 years ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆34Updated 2 months ago
• BartoszMilewski / DeepLearning
  Neural networks using parametric prelenses and Trimbara modules
  ☆31Updated 8 months ago
• emilypi / group-theory
  The theory of groups
  ☆75Updated last year
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆155Updated 5 months ago
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆45Updated last month
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated 11 months ago
• Simspace / avaleryar
  A logical authorization system
  ☆50Updated 2 years ago
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆66Updated last month
• Lysxia / advent-of-coq-2021
  ☆38Updated 2 years ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆213Updated last week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated this week
• wasp-lang / haskell-handbook
  Best practices on how to be efficient with Haskell in production
  ☆93Updated 4 months ago
• RyanGlScott / ghc-software-foundations
  The Software Foundations book, in GHC
  ☆83Updated 3 weeks ago
• haskell / core-libraries-committee
  ☆95Updated this week
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆44Updated 2 years ago
• vmchale / dickinson
  Text generation language
  ☆32Updated 2 weeks ago
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆72Updated last year
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆86Updated 2 months ago