ehildenb / pandoc-tangle
Simple tangler for Pandoc
☆15Updated 2 years ago
Alternatives and similar repositories for pandoc-tangle:
Users that are interested in pandoc-tangle are comparing it to the libraries listed below
- A prettyprinting library designed for laying out plain text documents☆23Updated 7 months ago
- Pandoc-compatible templating system☆54Updated 7 months ago
- vim plugin that makes vim syntax highlighting engine available in pandoc☆16Updated 5 months ago
- types for representing structured documents☆112Updated last year
- A versioning file store backed by git, darcs, or mercurial☆35Updated 4 months ago
- Markup language on top of Haskell☆12Updated 5 months ago
- Automatically refresh Pandoc documents in your web browser☆51Updated 8 years ago
- Opam2 remote for beta versions of the OCaml compiler☆16Updated 5 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Sources for OpenDreamKit's website☆16Updated last year
- Experimental markdown processor in Haskell☆108Updated 4 years ago
- Pure Haskell commonmark parsing library, designed to be flexible and extensible☆141Updated last month
- Multinomials for the Mathematical Components library.☆14Updated last week
- A Pandoc filter for emphasizing code in fenced blocks☆29Updated last year
- Write LaTeX theorems in Pandoc Markdown☆76Updated last year
- A pandoc filter to express diagrams inline using the haskell EDSL diagrams.☆38Updated last year
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- Haskell library for emojis☆28Updated 10 months ago
- Generate commutative diagrams inside of Pandoc with Tikz☆35Updated 7 years ago
- Resources for "One Monad to Prove Them All"☆29Updated 6 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Updated 6 years ago
- Source files for pandoc's website☆35Updated 3 weeks ago
- Tool to convert literate code between styles or to code.☆11Updated 5 years ago
- nix expressions for the official opam repository, using opam2nix☆27Updated 4 years ago
- Combinatorial species in HoTT☆12Updated 9 years ago
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 3 years ago
- A few extra pandoc filters for academic writing (internal table/figure references, sideways, ...)☆11Updated 10 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Updated 3 weeks ago
- Revised Omega-categorical Typechecker☆26Updated 5 months ago
- Replace Unicode symbols by equivalent Latex commands☆28Updated last year