koka-lang / madoko
Madoko is a fast markdown processor for high quality academic and technical articles
☆396Updated 6 months ago
Alternatives and similar repositories for madoko:
Users that are interested in madoko are comparing it to the libraries listed below
- PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...☆257Updated last year
- Render and include figures in Pandoc documents using your plotting toolkit of choice☆239Updated 3 weeks ago
- Starter files for using Pandoc Markdown with Tufte CSS☆325Updated 2 years ago
- Patoline typesetting system☆191Updated 2 years ago
- Write LaTeX theorems in Pandoc Markdown☆76Updated last year
- The extensible drawing editor Ipe☆200Updated last year
- A simple Wolfram Language clone in Haskell☆243Updated 5 years ago
- PreTeXt: an authoring and publishing system for scholarly documents☆278Updated last week
- A package for converting and rendering markdown documents in TeX☆340Updated this week
- Pandoc based document editor and converter in your browser.☆385Updated 8 years ago
- Hevea is a fast latex to html translator☆99Updated 8 months ago
- Stores content in a YAML file and uses Ruby's ERB templating system to handle format and layout.☆35Updated 7 months ago
- Convert TeX's pascal to javascript☆122Updated 3 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆192Updated last month
- A Haskell library for converting LaTeX math to MathML.☆346Updated last week
- Public repository for Abstact Algebra Theory and Applications☆167Updated 7 months ago
- Create beautiful and semantically meaningful articles with pandoc.☆482Updated 2 years ago
- TikZJax is TikZ running under WebAssembly in the browser☆482Updated 8 months ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆250Updated last month
- Live code in Pandoc Markdown☆384Updated last year
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- Beautiful pseudocode for the Web☆229Updated 9 months ago
- Easy lecture slides made difficult with pandoc and beamer☆130Updated 2 years ago
- A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface☆104Updated 6 months ago
- Convert graphs generated by Graphviz to LaTeX friendly formats☆154Updated 3 months ago
- provide a syntax to use amsthm environments in pandoc, with output in LaTeX and HTML☆22Updated 3 years ago
- Use markdown to write your handouts or books in Tufte style.☆111Updated last year
- pandoc + styles☆162Updated 6 years ago
- The Haskell LaTeX library.☆199Updated last year
- Modal Logic Playground☆370Updated last year