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:
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Updated 8 months ago
- Scrap Your Boilerplate generic programming library in Haskell☆46Updated 7 months ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆36Updated this week
- Regular expressions of types☆16Updated 6 years ago
- Monomorphize polymorphic functions for testing☆36Updated 8 years ago
- Generic functions for single-sorted first-order structural unification☆46Updated 2 months ago
- Haskell bindings to ArrayFire☆60Updated 7 months ago
- Minimal binary serialization library with focus on performance☆17Updated last week
- Bidirectional Parsing. Work in Progress☆32Updated 9 months ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Updated 5 months ago
- ☆20Updated last week
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago
- Order theory☆24Updated last year
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 6 years ago
- CLI tool for Hackage☆26Updated last month
- Extensible type-safe unions for Haskell☆34Updated 4 months ago
- Haskell98 indexed functors, monads, comonads☆25Updated 3 years ago
- Generic types and functions for encoding and decoding columns☆44Updated 8 months ago
- (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…☆32Updated 3 years ago
- There are many category theory implementations, but this one is mine☆16Updated 10 months ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Updated last year
- ☆18Updated last year
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Haskell to C compiler via Categorifier☆35Updated last year
- A monad transformer and corresponding type class for computations which consume random values.☆33Updated 4 months ago
- Extensive collection of color spaces and color models☆60Updated last week
- 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
- Monad morphisms☆50Updated last month
- Deep embedding of imperative programs with code generation☆23Updated 3 years ago
- topos programming☆31Updated 6 years ago