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: 5 months ago functional-programminglatexmarkup-languageocamlopamopentypepdfpdf-generationprogramming-languagesatysfitypesetting-system
Related projects:
Repository | Description | Stars |
---|---|---|
| A C# library that provides a cross-platform font reader and layout engine. | 415 |
| Automated formatting and code organization tool for HTML, JavaScript, CSS, and other programming languages | 110 |
| A Golang library providing functional programming features and Rx-style coding capabilities. | 349 |
| A TypeScript implementation of a functional programming approach to working with nested data structures | 1,045 |
| Automates routine tasks in CFF table processing for digital fonts. | 23 |
| A Python implementation of functional programming concepts with asynchronous and type-safe features. | 150 |
| An OpenGL library for rendering Unicode text with a single texture and vertex buffer. | 1,652 |
| Golang beautifies data display by providing formatting options for humans | 308 |
| A Haskell library for string formatting with a mini language inspired by Python's printf. | 66 |
| A Haskell program that generates random keyboard input to simulate 'hacking' in movies and games. | 46 |
| An official source repository for a tutorial book on functional programming written in TeX. | 1,411 |
| A state machine type provider for managing discrete states and transitions in software systems | 35 |
| Automates generating implementations of common Go functions from input parameter types. | 1,246 |
| A Common Lisp library for building typesetting applications. | 69 |
| A tree-sitter grammar for the TypSt typesetting language with a focus on correctness and intended to be used as a parser. | 76 |