SATySFi
Typesetter
A functional typesetting system with a statically-typed language
A statically-typed, functional typesetting system
1k stars
52 watching
84 forks
Language: OCaml
last commit: 13 days ago functional-programminglatexmarkup-languageocamlopamopentypepdfpdf-generationprogramming-languagesatysfitypesetting-system
Related projects:
| Repository | Description | Stars |
|---|---|---|
 layoutfarm/typography | A C# library that provides a cross-platform font reader and layout engine. | 411 |
 g-plane/markup_fmt | A formatter for various front-end markup languages and templating engines | 102 |
 teaentitylab/fpgo | A Golang library providing functional programming features and Rx-style coding capabilities. | 348 |
 gcanti/monocle-ts | A TypeScript implementation of a functional programming approach to working with nested data structures | 1,044 |
 googlefonts/compreffor | Automates routine tasks in CFF table processing for digital fonts. | 23 |
 suned/pfun | A Python implementation of functional programming concepts with asynchronous and type-safe features. | 151 |
 rougier/freetype-gl | An OpenGL library for rendering Unicode text with a single texture and vertex buffer. | 1,644 |
 go-ffmt/ffmt | Golang beautifies data display by providing formatting options for humans | 306 |
 guibou/pyf | A Haskell library for string formatting with a mini language inspired by Python's printf. | 66 |
 fgaz/hackertyper | A Haskell program that generates random keyboard input to simulate 'hacking' in movies and games. | 46 |
 winitzki/sofp | An online repository providing documentation and source code for a book on functional programming | 1,406 |
 fsprojects/graphprovider | A state machine type provider for managing discrete states and transitions in software systems | 35 |
 awalterschulze/goderive | Automates generating implementations of common Go functions from input parameter types. | 1,245 |
 mbattyani/cl-typesetting | Provides a programmable typesetting system for creating and formatting documents using Common Lisp. | 69 |
 frozolotl/tree-sitter-typst | A tree-sitter grammar for the TypSt typesetting language with a focus on correctness and intended to be used as a parser. | 76 |