jamespfennell / new-typesetting-systemLinks
GitHub copy of the NTS/TeX source code from 2001
☆31Updated 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☆20Updated 10 years ago
- A C11 compiler for the discrete logic computer☆20Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- Multi-Array Queue program codes☆76Updated 3 months ago
- Programming language for ternary computing☆30Updated 4 years ago
- the origins of J☆63Updated 2 years ago
- C plus Prolog☆165Updated 6 months ago
- a 64-bit histogram / quantile sketch☆59Updated 8 months ago
- building and applying patches to binary files☆74Updated last month
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- Compact garbage-collected heap and JSON-like object model☆81Updated 2 years ago
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- A book generator☆28Updated last month
- C Intermediate Language☆154Updated last week
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆75Updated 8 months ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years 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 7 months ago
- SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme☆72Updated 3 years ago
- CECS 342 Lab 4: Logic Languages with SWI-Prolog☆13Updated 3 years ago
- Compiling C to FlipJump☆92Updated 7 months ago
- A minimal RISC-V RV32I disassembler☆56Updated 4 years ago
- Dogma: A modernized metalanguage with better expressiveness and binary grammar support☆65Updated 2 years ago
- ☆22Updated last year
- My little WebAssembly interpreter☆74Updated this week
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Updated last year
- A cross-platform version of the ETH Oberon System 3 compatible with the Oberon+ compiler and IDE☆103Updated last month
- A bignum library for C.☆33Updated last year
- Resurrecting PP-BESM☆26Updated 2 years ago
- A simple Web Assembly Interpreter☆16Updated last year
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆76Updated last year