Similar repositories to Toxaris/pandoc-lit:

• Toxaris/pandoc-lit github similar
• danistefanovic/build-your-own-x github similar
• Blaisorblade/git-filter-branch-msgs github similar
• gallais/type-scope-semantics github similar
• Toxaris/pts github similar
• emilaxelsson/syntactic github similar
• bch29/agda-holes github similar
• olivierverdier/pydflatex github similar
• plclub/lngen github similar
• gallais/potpourri github similar
• andreasabel/strong-normalization github similar
• tonymorris/parametricity github similar
• LaifsV1/YUP github similar
• kmicinski/example-ocaml-merlin github similar
• seba--/sugarj github similar
• david-christiansen/epigram1 github similar
• scmu/foundations-harper github similar
• AndrasKovacs/system-f-omega github similar
• chrisdone/haskell-style-guide github similar
• sstucki/system-f-agda github similar
• ckaestne/TypeChef github similar
• pigworker/MetaprogAgda github similar
• yallop/popl2015-papers github similar
• TiarkRompf/minidot github similar
• tom-tan/auctex-latexmk github similar
• DeepSpec/dsss17 github similar
• jonsterling/JonPRL github similar
• yallop/icfp2014-papers github similar
• ilyasergey/pnp github similar
• type-theory/type-theory-study-group github similar
• w7cook/AoPL github similar
• idris-hackers/idris-mode github similar
• kazu-yamamoto/unit-test-example github similar
• mattam82/Coq-Equations github similar
• cpitclaudel/company-coq github similar
• mit-pdos/fscq github similar
• RedPRL/sml-redprl github similar
• ott-lang/ott github similar
• mietek/sf github similar
• jaor/geiser github similar