kuribas / hmetafontLinks
hmetafont is a DSL for creating variable fonts in haskell, inspired by metafont
☆11Updated 8 years ago
Alternatives and similar repositories for hmetafont
Users that are interested in hmetafont are comparing it to the libraries listed below
Sorting:
- Haskell library for manipulating cubic bezier curves☆19Updated 11 months ago
- OpenType Layout implementation for nut (stacked) fractions☆33Updated 7 months ago
- Fonts from the SVG-Font format☆21Updated 3 months ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- ☆12Updated 5 years ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 2 months ago
- ScopeT and ScopeH☆13Updated 10 months ago
- Awami Nastaliq font project☆14Updated this week
- being a programming language for sequential circuits☆20Updated 6 months ago
- Kerning and letterspacing research☆38Updated 9 years ago
- Classes for types where we know all the values☆39Updated 5 months ago
- Better-Engineered Font Formats; Part 2. Better Ergonomics☆12Updated 3 years ago
- Diploma work (if this is still here contact me if you need details)☆13Updated 8 years ago
- Annotated OpenType Specification☆23Updated 4 years ago
- Simple adjunctions☆46Updated 2 months ago
- An efficient finite map from (byte)strings to values.☆20Updated last month
- A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders☆12Updated 6 years ago
- This is the place where (more or less) stable releases of my RW library will be published.☆16Updated 5 years ago
- College assignment writing in which I ramble about type classes and dependent types.☆12Updated 4 years ago
- Utilities for creating diagram-building tools☆13Updated last month
- ☯ A letterfitting model inspired by biology.☆29Updated 2 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆12Updated last year
- Generalized syntax & semantics for universe hierarchies☆29Updated last year
- Type-safe open unions in Haskell☆32Updated 7 years ago
- TODO☆23Updated 9 years ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated 2 months ago
- ☆26Updated 5 months ago
- A font design testing class and CLI tool for SILE☆31Updated this week
- define ZF Set Theory in Agda and it's model on Ordinal and Ordinal Definable Set☆14Updated 4 months ago
- Let's rethink how we interact with Agda☆18Updated 2 years ago