adam-mcdaniel / markdown-to-htmlLinks
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:
- Notes on Functional Programming and related topics☆29Updated 2 years ago
- A non-interactive proof assistant using the Haskell type system☆37Updated 5 years ago
- Benchmarks for capture-avoiding substitution☆114Updated last week
- Competitive programming utilities in Haskell☆30Updated 5 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆31Updated last year
- The adventures of a Haskell compiler☆226Updated last month
- The theory of groups☆78Updated last year
- SKI combinators☆55Updated 8 years ago
- Reference counting with linear types☆31Updated 11 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Monadic Constraint Programming framework☆28Updated 7 years ago
- Fast equality saturation in Haskell☆84Updated 3 months ago
- The Iowa Agda Library☆47Updated 6 months ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated 2 weeks ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆55Updated 10 years ago
- Code for my blog post "Generating Mazes with Inductive Graphs"☆40Updated 6 years ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆49Updated 8 months ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆27Updated 2 years ago
- The LC3 virtual machine☆23Updated 5 months ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆99Updated 3 weeks ago
- Demo for dependent types + runtime code generation☆69Updated 3 months ago
- ☆35Updated last year
- An implementation of Haskell’s MVars in Racket☆29Updated 7 months ago
- A toolkit for enforcing logical specifications on neural networks☆97Updated this week
- LLVM code generation in Haskell☆54Updated 7 months ago
- high-performance cubical evaluation☆73Updated last month
- A simple Depdently-Typed Language for Research and Learning☆57Updated 8 years ago
- A logical authorization system☆51Updated 3 years ago