adam-mcdaniel / markdown-to-html
A Markdown to HTML compiler written in Haskell.
☆15Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for markdown-to-html
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆80Updated this week
- The adventures of a Haskell compiler☆213Updated last month
- A non-interactive proof assistant using the Haskell type system☆35Updated 4 years ago
- Reference counting with linear types☆30Updated 4 months ago
- LLVM code generation in Haskell☆50Updated last week
- The theory of groups☆75Updated last year
- Text generation language☆32Updated last week
- Interpret Haskell programs into any cartesian closed category.☆57Updated 3 weeks ago
- Andrej Bauer's blog "Mathematics and Computation"☆48Updated 9 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 10 months ago
- A special-purpose processor for pure, non-strict functional languages☆20Updated 3 months ago
- A work-in-progress core language for Agda, in Agda☆41Updated last week
- ☆38Updated 2 years ago
- How I start Haskell.☆99Updated last month
- The LC3 virtual machine☆22Updated 2 years ago
- Benchmarks for capture-avoiding substitution☆107Updated 2 years ago
- A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.☆17Updated 2 months ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆26Updated 2 years ago
- Fast parallel calculations in pure mathematics, e.g. Gröbner Bases☆16Updated 2 months ago
- Trying to write an understandable implementation of Haskell, in Haskell☆120Updated 3 years ago
- SKI combinators☆50Updated 7 years ago
- Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine☆42Updated 4 months ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆53Updated 5 months ago
- Fast equality saturation in Haskell☆77Updated 6 months ago
- A logical authorization system☆50Updated 2 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆83Updated last year
- The Haskell Foundation Tech Proposal Process☆69Updated 3 months ago
- Compiling Agda code to readable Haskell☆177Updated last month
- Named parameters (keyword arguments) for Haskell☆91Updated 2 weeks ago