GitHub copy of the NTS/TeX source code from 2001
☆32Aug 6, 2021Updated 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. 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)☆19Aug 23, 2025Updated 7 months ago
- ☆17Jan 3, 2025Updated last year
- ☆20Dec 5, 2024Updated last year
- ☆40Oct 5, 2025Updated 5 months ago
- LLVM backend for m88k architecture☆51Aug 6, 2025Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A port of TeX82 to Rust. (WIP)☆35Feb 20, 2022Updated 4 years ago
- Bellcore MGR, from version 0.69☆25Feb 26, 2023Updated 3 years ago
- a Smalltalk-80 virtual machine based on the "Bluebook" specification☆46Apr 25, 2025Updated 11 months ago
- Agent Manipulation Language☆18Dec 20, 2017Updated 8 years ago
- Telekom Security Compliance Framework☆10Feb 5, 2019Updated 7 years ago
- Text Adventure game in SWI Prolog.☆103Aug 14, 2023Updated 2 years ago
- A low-level virtual machine for mobile code☆12Sep 23, 2017Updated 8 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Jun 12, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- fast combinations calculation in jax☆39Jul 12, 2024Updated last year
- Emacs major mode for the pikchr diagram markup language☆18Nov 27, 2024Updated last year
- My WebAssembly VM☆76Jan 26, 2026Updated 2 months ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- Try Metapost quickly and easily with our online sandbox application!☆11Feb 14, 2026Updated last month
- ☆10Nov 11, 2019Updated 6 years ago
- February 1st, 2030 #IPv4flagday☆21May 10, 2022Updated 3 years ago
- A little (< 300 loc), incomplete TCL interpreter☆13Mar 3, 2017Updated 9 years ago
- SOM - Simple Object Machine (plain Java implementation)☆19Aug 19, 2025Updated 7 months ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- 🧊 TeX-подібна система верстки наукових праць☆20Mar 14, 2025Updated last year
- Mesa machine architecture emulator for Xerox 6085 and Guam workstations☆25Jan 11, 2025Updated last year
- A lisp dedicated to bnl intended for use under 2.11BSD on a PDP-11☆21Dec 20, 2022Updated 3 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- Blazing fast Priority Queue that allows sorting for elements with partial ordering☆25Apr 20, 2022Updated 3 years ago
- Small Prolog☆14Dec 8, 2016Updated 9 years ago
- Perlin noise Wang tile generator - Seamless, non-periodically tileable noise textures☆20Oct 28, 2022Updated 3 years ago
- Port of Cyc to Common Lisp☆23Sep 1, 2020Updated 5 years ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- The 1973 survey of Holon Programming by Pierre-Arnoul de Marneffe☆22Jul 17, 2024Updated last year
- fast, lock-free, core-dumpable prints (meaning you can see not-yet-flushed prints in core dumps/live processes)☆27Oct 24, 2013Updated 12 years ago
- Code repository for F# 4.0 Design Patterns, published by Packt☆13Jan 14, 2021Updated 5 years ago
- GEMDOS for the Apple Lisa☆26Aug 19, 2020Updated 5 years ago
- AIX5-IA64: A modest collection of compiled software for IBM AIX 5.1L for Itanium (IA-64), previously known as Project Monterey.☆14Oct 30, 2022Updated 3 years ago
- ☆14Sep 23, 2017Updated 8 years ago
- A bridge between Windows applications and Speech dispatcher☆11Mar 1, 2025Updated last year