GitHub copy of the NTS/TeX source code from 2001
☆33Aug 6, 2021Updated 5 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Manual translation of tex.web version 3.141592653 into C++ (and other related programs)☆20May 4, 2026Updated 5 months ago
- This utility helps you create and view text from MUDS that has been colored with color codes.☆14Aug 20, 2025Updated last year
- Specifications for better computing☆10Nov 19, 2019Updated 6 years ago
- Framework for building TeX engines and other kinds of TeX software☆16Sep 25, 2026Updated 3 weeks ago
- ☆20Dec 5, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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…☆16Mar 20, 2024Updated 2 years ago
- JavaFX terminal that uses libghostty☆30Oct 11, 2026Updated last week
- data compression library for embedded/real-time systems☆13Dec 8, 2015Updated 10 years ago
- LLVM backend for m88k architecture☆55Aug 6, 2025Updated last year
- Generate some statistics about a tarfile.☆13Sep 14, 2026Updated last month
- FoundryVTT system for the Shadowrun Sixth World TTRPG☆26Oct 4, 2026Updated 2 weeks ago
- A python program for tiling the currently active window into some preset locations on the screen.☆17Apr 8, 2014Updated 12 years ago
- A Hindley-Milner type inference implementation in Prolog☆15Feb 9, 2015Updated 11 years ago
- My WebAssembly VM☆77Apr 30, 2026Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Free professional color tools for designers & developers. Extract palettes from images/URLs, simulate color blindness, generate gradients…☆17Feb 12, 2026Updated 8 months ago
- Rust-based Scheme Compiler, written in the Nanopass style☆11Jun 12, 2018Updated 8 years ago
- Mind Garden makes it easy to take notes that link to other notes.☆11Mar 15, 2021Updated 5 years ago
- This Arduino/Teensy 3.1 program interprets 12 inputs as rows of classical punch cards and decodes the characters.☆12Nov 21, 2014Updated 11 years ago
- Development of testing infrastructure for TeX (Live)☆12Feb 18, 2017Updated 9 years ago
- ☆10Nov 11, 2019Updated 6 years ago
- A Smalltalk in Python☆11Apr 26, 2022Updated 4 years ago
- The Gar Programming Language☆45Jan 1, 2026Updated 9 months ago
- Experiment and learn how compilers, linkers and C runtime work cooperatively☆10Jan 31, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Stigma instruments the Smali assembly code of commodity Android applications in order to implement dynamic information flow tracking.☆13May 28, 2026Updated 4 months ago
- February 1st, 2030 #IPv4flagday☆19May 10, 2022Updated 4 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 9 years ago
- Small Prolog☆15Dec 8, 2016Updated 9 years ago
- Tensor library & inference framework for machine learning☆119Oct 3, 2025Updated last year
- The BeOS PowerPC preservation project archive☆20Apr 5, 2022Updated 4 years ago
- Generates LLVM IR for Xcode Projects☆10Aug 14, 2026Updated 2 months ago
- Various C programs I have created from the https://learncgames.com website☆12Mar 5, 2021Updated 5 years ago
- TeX implementation in C and Markdown.☆15Feb 28, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆12Sep 25, 2017Updated 9 years ago
- The 1973 survey of Holon Programming by Pierre-Arnoul de Marneffe