jamespfennell / new-typesetting-system
GitHub copy of the NTS/TeX source code from 2001
☆30Updated 3 years ago
Alternatives and similar repositories for new-typesetting-system:
Users that are interested in new-typesetting-system are comparing it to the libraries listed below
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 3 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- Multi-Array Queue program codes☆75Updated 3 months ago
- Java 8 Collection Utilities☆10Updated 2 months ago
- a 64-bit histogram / quantile sketch☆59Updated 3 months ago
- ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…☆54Updated 2 weeks ago
- A compiler for a Scheme-like language. Currently, the goal is not full standards-compliance but rather to implement a compiler that is us…☆13Updated 2 months ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- A C11 compiler for the discrete logic computer☆20Updated last year
- Binary Lambda Calculus Virtual Machine☆53Updated last year
- Blech is a language for developing reactive, real-time critical embedded software.☆67Updated 2 years ago
- A book generator☆23Updated last week
- Typescript implementation of Relaxed Radix Balanced Trees☆18Updated 7 months ago
- A minimal stack based programming language☆32Updated 11 months ago
- An optimizing compiler for a large subset of the C programming language☆25Updated 6 months ago
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆50Updated 2 years ago
- A rewrite of Wozmon in x86-64 for the BareMetal kernel.☆58Updated 4 months ago
- Embedded Lisp Interpreter☆51Updated last week
- Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strin…☆17Updated last year
- NanoCollision: Experiments with collisions of nanosecond timestamps☆23Updated last year
- The Amsterdam Compiler Kit☆27Updated 3 weeks ago
- C plus Prolog☆159Updated last month
- ☆22Updated 7 months ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- Brzozowski derivative python sketch☆85Updated 3 weeks ago
- Dogma: A modernized metalanguage with better expressiveness and binary grammar support☆64Updated last year
- A cross-platform version of the ETH Oberon System 3 compatible with the Oberon+ compiler and IDE☆98Updated last year
- Compact garbage-collected heap and JSON-like object model☆80Updated last year
- Lossy compression of CSS for fun and loss (or profit)☆34Updated last year
- SOM - Simple Object Machine (plain Java implementation)☆19Updated 2 months ago