koka-lang / madokoLinks
Madoko is a fast markdown processor for high quality academic and technical articles
☆398Updated 9 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...☆256Updated last year
- Write LaTeX theorems in Pandoc Markdown☆75Updated last year
- LALR Javascript LaTeX-to-MathML converter compatible with Unicode☆141Updated 7 months ago
- Patoline typesetting system☆190Updated 3 years ago
- Starter files for using Pandoc Markdown with Tufte CSS☆330Updated 2 years ago
- A package for converting and rendering markdown documents in TeX☆351Updated this week
- Convert TeX's pascal to javascript☆134Updated 3 years ago
- Public repository for Abstact Algebra Theory and Applications☆170Updated this week
- Render and include figures in Pandoc documents using your plotting toolkit of choice☆246Updated 3 weeks ago
- A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface☆104Updated 9 months ago
- A formal logic framework that runs in the browser☆292Updated 6 months ago
- A simple Wolfram Language clone in Haskell☆244Updated 5 years ago
- Create beautiful and semantically meaningful articles with pandoc.☆488Updated 2 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.☆419Updated last week
- provide a syntax to use amsthm environments in pandoc, with output in LaTeX and HTML☆22Updated 3 years ago
- Xy-pic extension for MathJax☆62Updated 4 years ago
- Repository for the QED interactive text and possible extensions☆102Updated 5 months ago
- The SILE Typesetter — Simon’s Improved Layout Engine☆1,707Updated 2 weeks ago
- PreTeXt: an authoring and publishing system for scholarly documents☆292Updated this week
- Metamath Zero specification language☆342Updated last month
- A formalization of geometry in Coq based on Tarski's axiom system☆196Updated last month
- A curated list of awesome Coq frameworks, libraries and software.☆234Updated last week
- Algebraic graphs☆739Updated last month
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- pandoc + styles☆163Updated 6 years ago
- TikZJax is TikZ running under WebAssembly in the browser☆507Updated 11 months ago
- An Open Encyclopedia of Proof Systems☆118Updated 2 years ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆263Updated 4 months ago
- A tresure-box of resources for pandoc, pp and Texts word processor.☆218Updated last year
- The Haskell LaTeX library.☆199Updated last year