adam-mcdaniel / markdown-to-html
A Markdown to HTML compiler written in Haskell.
☆15Updated 10 months ago
Alternatives and similar repositories for markdown-to-html:
Users that are interested in markdown-to-html are comparing it to the libraries listed below
- A non-interactive proof assistant using the Haskell type system☆36Updated 4 years ago
- Competitive programming utilities in Haskell☆30Updated last month
- Interpret Haskell programs into any cartesian closed category.☆58Updated last month
- The theory of groups☆76Updated last year
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆88Updated last month
- Effective Algebraic Topology in Haskell☆89Updated 5 months ago
- Compiling Agda code to readable Haskell☆181Updated this week
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆26Updated 3 years ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆124Updated 3 years ago
- Rough and Ready Haskell Notebooks with HLS and VS Code☆45Updated 2 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆29Updated last year
- Haskell to C compiler via Categorifier☆32Updated last year
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated 4 months ago
- Neural networks using parametric prelenses and Trimbara modules☆32Updated 11 months ago
- A work-in-progress core language for Agda, in Agda☆44Updated 3 months ago
- Agda category theory library for denotational design☆50Updated 8 months ago
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- Horn Clause Constraint Solving for Liquid Types☆144Updated 2 weeks ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last year
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆54Updated 10 years ago
- Learn the Agda basics in three 2-hour sessions.☆56Updated last year
- A special-purpose processor for pure, non-strict functional languages☆27Updated last month
- The Software Foundations book, in GHC☆82Updated last month
- Fast parsing from bytestrings☆156Updated last month
- Benchmarks for capture-avoiding substitution☆109Updated this week
- ☆34Updated 3 months ago
- Effects libraries in Haskell☆71Updated last year
- Fast equality saturation in Haskell☆82Updated 9 months ago
- LLVM code generation in Haskell☆54Updated 3 months ago
- Book about using Lean with How To Prove It☆17Updated last month