koka-lang / madokoLinks
Madoko is a fast markdown processor for high quality academic and technical articles
☆405Updated last year
Alternatives and similar repositories for madoko
Users that are interested in madoko are comparing it to the libraries listed below
Sorting:
- Patoline typesetting system☆194Updated 3 years ago
- PreTeXt: an authoring and publishing system for scholarly documents☆303Updated 2 weeks ago
- Convert graphs generated by Graphviz to LaTeX friendly formats☆160Updated 5 months ago
- Write LaTeX theorems in Pandoc Markdown☆74Updated 2 years ago
- PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...☆259Updated last year
- A package for converting and rendering markdown documents in TeX☆363Updated this week
- Public repository for Abstact Algebra Theory and Applications☆176Updated 4 months ago
- Hevea is a fast latex to html translator☆114Updated 2 months ago
- Coauthor supercollaboration/discussion forum☆266Updated 2 months ago
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆23Updated 3 years ago
- plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of out…☆330Updated 9 months ago
- Repository for the QED interactive text and possible extensions☆110Updated 10 months ago
- LALR Javascript LaTeX-to-MathML converter compatible with Unicode☆146Updated last year
- Render and include figures in Pandoc documents using your plotting toolkit of choice☆257Updated 5 months ago
- TikZJax is TikZ running under WebAssembly in the browser☆534Updated last year
- create static websites from YAML data and string templates☆395Updated last year
- Convert TeX's pascal to javascript☆143Updated 4 years ago
- A Haskell library for converting LaTeX math to MathML.☆384Updated this week
- A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface☆104Updated last year
- Easy insertion of unicode math symbols☆50Updated 2 years ago
- Easy lecture slides made difficult with pandoc and beamer☆131Updated 2 years ago
- Starter files for using Pandoc Markdown with Tufte CSS☆338Updated last month
- Plugin for Sublime for inserting unicode math symbols and emoji☆130Updated 2 years ago
- Collection of animals and other beings drawn in TikZ☆97Updated this week
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 5 years ago
- A port of Coq to Javascript -- Run Coq in your Browser☆536Updated this week
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Updated 2 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆40Updated last year
- Mirror of Software Foundations in PDF☆305Updated 5 years 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.☆433Updated last week