SATySFi
Typesetter
A functional typesetting system with a statically-typed language
A statically-typed, functional typesetting system
1k stars
53 watching
84 forks
Language: OCaml
last commit: about 1 year 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. | 415 |
 g-plane/markup_fmt | Automated formatting and code organization tool for HTML, JavaScript, CSS, and other programming languages | 110 |
 teaentitylab/fpgo | A Golang library providing functional programming features and Rx-style coding capabilities. | 349 |
 gcanti/monocle-ts | A TypeScript implementation of a functional programming approach to working with nested data structures | 1,045 |
 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. | 150 |
 rougier/freetype-gl | An OpenGL library for rendering Unicode text with a single texture and vertex buffer. | 1,652 |
 go-ffmt/ffmt | Golang beautifies data display by providing formatting options for humans | 308 |
 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 official source repository for a tutorial book on functional programming written in TeX. | 1,411 |
 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,246 |
 mbattyani/cl-typesetting | A Common Lisp library for building typesetting applications. | 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 |