jamespfennell / new-typesetting-systemLinks
GitHub copy of the NTS/TeX source code from 2001
☆32Updated 4 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
Sorting:
- ISBL - Information Systems Base Language☆19Updated 11 years ago
- Implementations of the Are-we-fast-yet benchmark suite in Oberon, C++, C, Pascal, Micron and Luon☆66Updated 2 weeks ago
- C plus Prolog☆166Updated 9 months ago
- A C11 compiler for the discrete logic computer☆21Updated last year
- Multi-Array Queue program codes☆76Updated 7 months ago
- Programming language for ternary computing☆31Updated 4 years ago
- the origins of J☆63Updated 2 years ago
- CECS 342 Lab 4: Logic Languages with SWI-Prolog☆13Updated 4 years ago
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 11 months ago
- A cross-platform version of the ETH Oberon System 3 compatible with the Oberon+ compiler and IDE☆105Updated 5 months ago
- A simplified subset of C transpiled into Web Assembly☆105Updated 3 years ago
- building and applying patches to binary files☆75Updated 4 months ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Updated 9 years ago
- Compact garbage-collected heap and JSON-like object model☆81Updated 2 years ago
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆76Updated 2 years ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Updated last year
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- My WebAssembly VM☆75Updated last week
- a 64-bit histogram / quantile sketch☆59Updated 11 months ago
- Blech is a language for developing reactive, real-time critical embedded software.☆69Updated 2 years ago
- A book generator☆28Updated last week
- Demo of a WAM Prolog implementation in Python☆78Updated 2 years ago
- Brzozowski derivative python sketch☆85Updated 8 months ago
- Dogma: A modernized metalanguage with better expressiveness and binary grammar support☆64Updated 2 years ago
- Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)☆59Updated 3 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- A bignum library for C.☆33Updated last year
- A bare-metal actor operating system for Raspberry Pi.☆67Updated last week
- SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme☆74Updated 3 years ago
- A minimal stack based programming language☆33Updated last year