adam-mcdaniel / markdown-to-html
A Markdown to HTML compiler written in Haskell.
☆16Updated last year
Alternatives and similar repositories for markdown-to-html
Users that are interested in markdown-to-html are comparing it to the libraries listed below
Sorting:
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- The theory of groups☆77Updated last year
- A non-interactive proof assistant using the Haskell type system☆37Updated 5 years ago
- Reference counting with linear types☆31Updated 10 months ago
- ☆43Updated 3 years ago
- Demo for dependent types + runtime code generation☆69Updated 3 months ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆98Updated this week
- Text generation language☆34Updated 2 weeks ago
- Interpret Haskell programs into any cartesian closed category.☆60Updated 4 months ago
- Horn Clause Constraint Solving for Liquid Types☆145Updated 3 weeks ago
- Linear lens☆20Updated last year
- A Haskell blog☆139Updated 10 months ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆54Updated 10 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last week
- A logical authorization system☆50Updated 3 years ago
- todo and unimplemented, robustly implemented☆36Updated 8 months ago
- A community-driven collection of documentation for Haskell error messages and warnings☆105Updated last month
- Benchmarks for capture-avoiding substitution☆113Updated this week
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated last month
- Haskell library for type-inference with Hindley-Milner type-system.☆34Updated 11 months ago
- 🌐 | HTTP primitives for Lean 4☆38Updated 6 months ago
- The adventures of a Haskell compiler☆225Updated last week
- 🚧 a work in progress effect system for Haskell 🚧☆126Updated last year
- GHC Whole Program Compiler and External STG IR tooling☆118Updated 6 months ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆49Updated 7 months ago
- Competitive programming utilities in Haskell☆30Updated 4 months ago
- Named parameters (keyword arguments) for Haskell☆94Updated 2 months ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated last year
- Fast equality saturation in Haskell☆84Updated 2 months ago
- LLVM code generation in Haskell☆54Updated 6 months ago