phadej / latex-svg
Render LaTeX math to SVG mages
☆17Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for latex-svg
- ☆20Updated last week
- A library for doing generic programming in Agda☆28Updated 3 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆36Updated last month
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- ☆23Updated last year
- Functions and newtype wrappers for traversing Trees☆30Updated 2 months ago
- High-performance JSON parser☆24Updated 7 months ago
- GHC for native MS CRT and Windows SDK. Enhanced.☆12Updated 3 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- Deciding Presburger arithmetic in agda☆31Updated last year
- ☆44Updated 2 months ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- There are many category theory implementations, but this one is mine☆14Updated 3 months ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 6 months ago
- Classes for types where we know all the values☆37Updated 6 months ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 5 years ago
- topos programming☆31Updated 6 years ago
- I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.☆14Updated 9 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆44Updated 2 years ago
- Monomorphize polymorphic functions for testing☆33Updated 7 years ago
- CLI tool for Hackage☆26Updated 4 months ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- ☆28Updated 6 years ago
- Bidirectional Parsing. Work in Progress☆30Updated 2 months ago
- Haskell library of data types and calculations for positions on planet Earth☆18Updated 4 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated last year
- An interpreted lambda calculus with Algebraic and Recursive Types.☆18Updated 3 years ago
- Formalization of Opetopes and Opetopic Sets in Agda☆17Updated 7 years ago
- Experimentation project☆16Updated 10 years ago