phadej / latex-svg
Render LaTeX math to SVG mages
☆17Updated 10 months ago
Alternatives and similar repositories for latex-svg:
Users that are interested in latex-svg are comparing it to the libraries listed below
- Scrap Your Boilerplate generic programming library in Haskell☆45Updated 2 months ago
- ☆20Updated last month
- topos programming☆31Updated 6 years ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Invertible parsing for S-expressions☆34Updated 5 months ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 2 years ago
- Simple reflection of expressions☆33Updated 3 years ago
- Constraint Handling Rules☆15Updated 5 months ago
- Stacks and queues with compact representations☆16Updated 4 years ago
- Order theory☆24Updated last year
- There are many category theory implementations, but this one is mine☆15Updated 6 months ago
- A talk☆28Updated 3 years ago
- Classes for types where we know all the values☆39Updated last month
- category-theoretic goodness for Haskell☆17Updated 14 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
- simple chan based stream programming with arrow interface (Chan + Arrow = Churro)☆32Updated 2 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 5 years ago
- Dependently-typed finite maps (partial dependent products)☆65Updated last week
- Directed rounding and interval arithmetics with builtin floating types☆11Updated 2 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- Combinators for manipulating dependently-typed predicates.☆12Updated 7 months ago
- Efficient search weighted by an ordered monoid with monus.☆16Updated 2 years ago
- An efficient finite map from (byte)strings to values.☆20Updated last week
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 5 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated 2 months ago
- Haskell to D3.js binding by deep EDSL approach.☆23Updated 10 years ago
- More strongly typed variant of the ixset Haskell package☆24Updated 6 months ago
- Dependently typed elimination functions using singletons☆28Updated last month
- ☆17Updated last year