konn/pandoc-japanese-filters
Pandoc filters to treat Japanese-specific markups
Quasiquoters for HaTeX
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Pandoc filters to treat Japanese-specific markups
Enhanced Docx reader for pandoc with the support for Japanese markups
Synthetic Differential Geometry in Agda
Haskell implementation of the lightweight object system for obj-c FFI