kosmikus/lhs2tex

Preprocessor for typesetting Haskell sources with LaTeX

107

stars

203

commits

Haskell

primary language

Dec 30, 2025

updated

Contributors

164 commits

14 commits

8 commits

3 commits

Similar repos

w3c/mathml

MathML4 editors draft

mathml-refresh/mathml

MathML4 editors draft

sdiehl/wiwinwlh

What I Wish I Knew When Learning Haskell

2,668

similar language mix

ndmitchell/shake

Shake build system

802

similar language mix

IntersectMBO/cardano-ledger

The ledger implementation and specifications of the Cardano blockchain.

295

similar language mix

input-output-hk/cardano-ledger

The ledger implementation and specifications of the Cardano blockchain.

295

similar language mix

lierdakil/pandoc-crossref

Pandoc filter for cross-references

1,070

similar language mix

agda/agda

Agda is a dependently typed programming language / interactive theorem prover.

2,930

similar language mix

Languages

Haskell

78.1%

TeX

11.1%

Vim Snippet

3.5%

Makefile

3.2%

Shell

2.2%

Roff

1.9%