koka-lang / madoko
Madoko is a fast markdown processor for high quality academic and technical articles
☆396Updated 8 months ago
Alternatives and similar repositories for madoko
Users that are interested in madoko are comparing it to the libraries listed below
Sorting:
- PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...☆257Updated last year
- Write LaTeX theorems in Pandoc Markdown☆76Updated last year
- A tresure-box of resources for pandoc, pp and Texts word processor.☆216Updated last year
- Patoline typesetting system☆190Updated 2 years ago
- Starter files for using Pandoc Markdown with Tufte CSS☆328Updated 2 years ago
- Pandoc based document editor and converter in your browser.☆385Updated 8 years ago
- 📄 My pandoc markdown templates and makefiles☆537Updated 3 years ago
- ☆232Updated 9 months ago
- Render and include figures in Pandoc documents using your plotting toolkit of choice☆241Updated 2 months ago
- pandoc + styles☆162Updated 6 years ago
- PreTeXt: an authoring and publishing system for scholarly documents☆286Updated this week
- TikZJax is TikZ running under WebAssembly in the browser☆499Updated 10 months ago
- This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.☆416Updated this week
- Some LaTeX code snippets I've hacked together over the years.☆139Updated 4 months ago
- Coauthor supercollaboration/discussion forum☆260Updated last month
- Convert Pandoc Markdown-style footnotes into sidenotes☆148Updated 6 months ago
- Live code in Pandoc Markdown☆385Updated last year
- LALR Javascript LaTeX-to-MathML converter compatible with Unicode☆141Updated 6 months ago
- auto-split frame environment for LaTeX☆67Updated 2 years ago
- Mirror of Software Foundations in PDF☆303Updated 4 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆772Updated last month
- Create beautiful and semantically meaningful articles with pandoc.☆484Updated 2 years ago
- Convert TeX's pascal to javascript☆133Updated 3 years ago
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆714Updated 3 years ago
- Tex All the Things: Chrome extension which typesets LaTeX in webpages using MathJax☆84Updated 3 years ago
- Mathematical Components (the Book)☆141Updated last year
- Easy lecture slides made difficult with pandoc and beamer☆129Updated 2 years ago
- Hevea is a fast latex to html translator☆101Updated 10 months ago
- An introduction to programming language theory in Agda☆1,423Updated 2 weeks ago
- A literate programming tool for any language☆683Updated 2 years ago