kuribas / hmetafont
hmetafont is a DSL for creating variable fonts in haskell, inspired by metafont
☆11Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for hmetafont
- Haskell library for manipulating cubic bezier curves☆18Updated 4 months ago
- Fonts from the SVG-Font format☆21Updated 2 weeks ago
- Utilities for creating diagram-building tools☆12Updated last month
- ScopeT and ScopeH☆13Updated 3 months ago
- OpenType Layout implementation for nut (stacked) fractions☆29Updated last month
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- Haskell geometry library☆17Updated 4 years ago
- Diploma work (if this is still here contact me if you need details)☆13Updated 7 years ago
- define ZF Set Theory in Agda and it's model on Ordinal and Ordinal Definable Set☆14Updated 3 months ago
- A PGF backend for diagrams☆14Updated 2 months ago
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Updated 9 months ago
- Haskell to D3.js binding by deep EDSL approach.☆23Updated 10 years ago
- A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders☆12Updated 6 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22Updated 8 years ago
- Kerning and letterspacing research☆34Updated 8 years ago
- Haskell counters that can be safely incremented from multiple threads☆17Updated last year
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- Divide without division☆15Updated last month
- Generate fake recursion schemes☆12Updated 4 years ago
- mfsolve☆9Updated last year
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- Ghosts of Departed Proofs☆60Updated 3 years ago
- Physical dimensions and operations☆9Updated 6 years ago
- An haskell TrueType file parser☆36Updated last year
- Render LaTeX math to SVG mages☆17Updated 7 months ago
- a library for experimental linear lambda calculus☆19Updated last year
- Type-safe WebAssembly eDSL in Haskell☆21Updated last month
- Modular arithmetic, promoting moduli to the type level☆24Updated 6 months ago
- Coq library for handling names☆18Updated 2 years ago
- Staged Streams and other stuff☆18Updated 2 years ago