kuribas / hmetafont
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
- OpenType Layout implementation for nut (stacked) fractions☆30Updated 4 months ago
- Kerning and letterspacing research☆37Updated 8 years ago
- Haskell library for manipulating cubic bezier curves☆18Updated 8 months ago
- ☯ A letterfitting model inspired by biology.☆29Updated 2 years ago
- Better-Engineered Font Formats; Part 2. Better Ergonomics☆12Updated 3 years ago
- Annotated OpenType Specification☆23Updated 4 years ago
- Implementation of C-based METAFONT☆11Updated 7 years ago
- Scripts for Glyphs App☆15Updated last week
- An efficient finite map from (byte)strings to values.☆20Updated last week
- Set monad☆17Updated last year
- Awami Nastaliq font project☆14Updated this week
- A font design testing class and CLI tool for SILE☆30Updated last week
- Filter for Glyphs.app that improves the position of each path’s start node.☆13Updated last year
- Reimplementation of TeX in Haskell: pre-alpha☆30Updated 10 years ago
- mf2outline is a python script that converts METAFONT fonts to outline formats like OpenType.☆10Updated last year
- Faculty Glyphic is a typeface that pays homage to London's rich history and spirit of innovation, taking cues from carved typography, it …☆10Updated 3 months ago
- Simple js hack to override css and replace all fonts in browser with your type design☆14Updated 7 years ago
- A PGF backend for diagrams☆14Updated 5 months ago
- An haskell TrueType file parser☆37Updated last year
- Pangrams, sample sentences, character sets and metadata for the world's languages☆42Updated 8 months ago
- GHC plugin to branch on whether a constraint is satisfied☆32Updated 2 months ago
- GRIN backend for Idris☆51Updated 4 years ago
- Caryll font editor☆18Updated 9 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- Ghosts of Departed Proofs☆60Updated 4 years ago
- Test font files for language support☆39Updated this week
- Dependently typed core calculus with erasure☆19Updated 3 years ago
- An implementation of (some fragment of) cubical type theory using rewrite rules, based on a talk given by Conor McBride at the 23rd Agda'…☆12Updated 8 years ago
- A thicker variant of Latin Modern Roman☆16Updated 2 years ago