ehildenb / pandoc-tangle
Simple tangler for Pandoc
☆14Updated last year
Related projects ⓘ
Alternatives and complementary repositories for pandoc-tangle
- vim plugin that makes vim syntax highlighting engine available in pandoc☆15Updated 2 weeks ago
- A prettyprinting library designed for laying out plain text documents☆22Updated 2 months ago
- A Pandoc filter for emphasizing code in fenced blocks☆28Updated last year
- types for representing structured documents☆108Updated 6 months ago
- Pandoc-compatible templating system☆52Updated 2 months ago
- A versioning file store backed by git, darcs, or mercurial☆30Updated 6 months ago
- A pandoc filter to express diagrams inline using the haskell EDSL diagrams.☆38Updated 8 months ago
- Source files for pandoc's website☆34Updated 2 months ago
- Haskell library for emojis☆26Updated 4 months ago
- Pandoc filter to include CSV data (from file or URL)☆39Updated 4 years ago
- Pure Haskell commonmark parsing library, designed to be flexible and extensible☆135Updated 2 weeks ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆14Updated 9 years ago
- Experimental markdown processor in Haskell☆107Updated 4 years ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆55Updated 5 years ago
- Zettelkasten file processor☆12Updated 4 years ago
- Sources for OpenDreamKit's website☆15Updated 8 months ago
- Resources for "One Monad to Prove Them All"☆28Updated 5 years ago
- Data types and useful functions to represent and manipulate the Nix language. | Source has moved to https://github.com/nixos/cabal2nix☆30Updated 9 months ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 3 years ago
- nix expressions for the official opam repository, using opam2nix☆27Updated 3 years ago
- Tool to convert literate code between styles or to code.☆11Updated 5 years ago
- Revised Omega-categorical Typechecker☆24Updated last week
- Insert a preamble before pandoc-citeproc's bibliography☆40Updated 7 months ago
- pesca: Proof Editor for Sequent Calculus (mirror)☆10Updated 7 years ago
- ☆23Updated 6 years ago
- Smooth curves via several interpolation modes☆10Updated 4 years ago
- A few extra pandoc filters for academic writing (internal table/figure references, sideways, ...)☆11Updated 10 years ago
- Haskell implementation of the Unicode Collation Algorithm☆17Updated 4 months ago
- generalize counter-examples of property-based testing☆13Updated 9 months ago