phadej / latex-svgLinks
Render LaTeX math to SVG mages
☆18Updated last year
Alternatives and similar repositories for latex-svg
Users that are interested in latex-svg are comparing it to the libraries listed below
Sorting:
- ☆22Updated 2 months ago
- Programmatically create new instances using core-to-core plugins☆11Updated 4 years ago
- Generic functions for single-sorted first-order structural unification☆46Updated 5 months ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated last month
- Grammatical parsers - combinator library for parsing general context-free grammars☆42Updated last month
- rewrite rules for type-level equalities☆62Updated last month
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Updated last year
- Fast unboxed references for ST and IO monad☆15Updated 8 years ago
- Surgery for generic data types☆25Updated 4 years ago
- Overloaded plugin☆30Updated last year
- Dependently-typed finite maps (partial dependent products)☆66Updated 8 months ago
- Diffing of (expression) trees.☆78Updated 3 months ago
- Performance shootout of various trie implementations☆18Updated 6 years ago
- simple chan based stream programming with arrow interface (Chan + Arrow = Churro)☆32Updated 2 years ago
- More strongly typed variant of the ixset Haskell package☆26Updated 2 months ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated last year
- fast utf-8 character sets☆14Updated 7 months ago
- Haskell Package Version Policy (PVP)☆40Updated last year
- Classes for types where we know all the values☆39Updated 9 months ago
- Efficient non-empty variants of containers data types, with full API☆26Updated 4 months ago
- Monomorphize polymorphic functions for testing☆36Updated 8 years ago
- CLI tool for Hackage☆27Updated last month
- Derive KnownNat constraints from other KnownNat constraints☆14Updated this week
- Ghosts of Departed Proofs☆61Updated 4 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 5 years ago
- Library and utility for processing cabal's plan.json file☆41Updated 2 months ago
- Dual Traversable☆42Updated 2 years ago
- Staged Streams and other stuff☆19Updated 3 years ago
- Uniform interface to reified data type information via Template Haskell☆20Updated 2 weeks ago
- A syntax for unions of constraints in Haskell☆70Updated 8 years ago