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
Sorting:
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 4 months ago
- A book generator☆23Updated last week
- NanoCollision: Experiments with collisions of nanosecond timestamps☆23Updated last year
- building and applying patches to binary files☆71Updated last year
- A C11 compiler for the discrete logic computer☆20Updated last year
- Programming language for ternary computing☆30Updated 4 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- Constructive real numbers, in JavaScript. Based on Hans-J. Boehm's Java implementation☆16Updated 2 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- Brzozowski derivative python sketch☆85Updated last month
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- Multi-Array Queue program codes☆75Updated this week
- ISBL - Information Systems Base Language☆19Updated 10 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 3 months ago
- Blech is a language for developing reactive, real-time critical embedded software.☆67Updated 2 years ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- ☆55Updated 4 months ago
- Compact garbage-collected heap and JSON-like object model☆80Updated 2 years ago
- SOM - Simple Object Machine (plain Java implementation)☆19Updated 3 months ago
- Lossy compression of CSS for fun and loss (or profit)☆34Updated last year
- a 64-bit histogram / quantile sketch☆59Updated 4 months ago
- An optimizing compiler for a large subset of the C programming language☆26Updated this week
- An interpreter for the 1991 Oriel scripting language☆56Updated last year
- Java 8 Collection Utilities☆9Updated 2 months ago
- An introduction to the J programming language that gets to the point.☆57Updated this 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
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- C plus Prolog☆160Updated 2 months ago
- A rethinking of the C time library☆10Updated 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…☆58Updated this week