koka-lang / madokoLinks
Madoko is a fast markdown processor for high quality academic and technical articles
☆404Updated 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☆192Updated 3 years ago
- A package for converting and rendering markdown documents in TeX☆360Updated last week
- PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...☆257Updated last year
- PreTeXt: an authoring and publishing system for scholarly documents☆298Updated this week
- 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…☆323Updated 7 months ago
- Write LaTeX theorems in Pandoc Markdown☆74Updated last year
- Public repository for Abstact Algebra Theory and Applications☆174Updated 2 months ago
- LALR Javascript LaTeX-to-MathML converter compatible with Unicode☆144Updated 11 months ago
- Convert TeX's pascal to javascript☆138Updated 4 years ago
- Collaborative markdown with math☆419Updated 2 years ago
- A port of Coq to Javascript -- Run Coq in your Browser☆535Updated 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
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆23Updated 2 years ago
- Convert graphs generated by Graphviz to LaTeX friendly formats☆159Updated 3 months ago
- create static websites from YAML data and string templates☆392Updated last year
- 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.☆430Updated last week
- Render and include figures in Pandoc documents using your plotting toolkit of choice☆250Updated 2 months ago
- Hevea is a fast latex to html translator☆108Updated this week
- TikZJax is TikZ running under WebAssembly in the browser☆524Updated last year
- Starter files for using Pandoc Markdown with Tufte CSS☆335Updated 3 years ago
- Easy lecture slides made difficult with pandoc and beamer☆131Updated 2 years ago
- The extensible drawing editor Ipe☆197Updated 2 years ago
- Group theory visualization software in the browser☆257Updated last year
- provide a syntax to use amsthm environments in pandoc, with output in LaTeX and HTML☆22Updated 3 years ago
- Collection of animals and other beings drawn in TikZ☆98Updated last week
- Pandoc filter to convert math to SVG using MathJax-node's tex2svg☆21Updated 8 years ago
- A Haskell library for converting LaTeX math to MathML.☆380Updated last week
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 11 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆530Updated 4 months ago
- Mirror of Software Foundations in PDF☆304Updated 4 years ago