koka-lang / madoko
Madoko is a fast markdown processor for high quality academic and technical articles
☆396Updated 7 months ago
Alternatives and similar repositories for madoko:
Users that are interested in madoko are comparing it to the libraries listed below
- A package for converting and rendering markdown documents in TeX☆345Updated this week
- Patoline typesetting system☆190Updated 2 years ago
- PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...☆257Updated last year
- The extensible drawing editor Ipe☆199Updated last year
- Write LaTeX theorems in Pandoc Markdown☆76Updated last year
- The Principia Rewrite☆216Updated 2 months ago
- Public repository for Abstact Algebra Theory and Applications☆168Updated 8 months ago
- Render and include figures in Pandoc documents using your plotting toolkit of choice☆239Updated last month
- LALR Javascript LaTeX-to-MathML converter compatible with Unicode☆140Updated 5 months ago
- Starter files for using Pandoc Markdown with Tufte CSS☆327Updated 2 years ago
- A simple Wolfram Language clone in Haskell☆244Updated 5 years ago
- This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …☆415Updated this week
- PreTeXt: an authoring and publishing system for scholarly documents☆282Updated this week
- The HOL Light theorem prover☆453Updated last week
- Convert TeX's pascal to javascript☆122Updated 3 years ago
- Create beautiful and semantically meaningful articles with pandoc.☆482Updated 2 years ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆254Updated last month
- 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…☆305Updated last month
- KtikZ provides a nice user interface for making pictures using TikZ.☆367Updated 9 months ago
- Metamath Zero specification language☆337Updated this week
- Modal Logic Playground☆370Updated last year
- A Beamer colour theme that maximizes visibility in dark and unfavourable conditions☆294Updated 7 years ago
- Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regre…☆656Updated this week
- A document language for the browser☆705Updated 9 months ago
- pandoc + styles☆162Updated 6 years ago
- A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface☆104Updated 7 months ago
- Collaborative markdown with math☆421Updated last year
- TikZJax is TikZ running under WebAssembly in the browser☆488Updated 9 months ago
- Coauthor supercollaboration/discussion forum☆259Updated last month
- A tresure-box of resources for pandoc, pp and Texts word processor.☆216Updated last year