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)☆20May 4, 2026Updated 3 weeks ago
- ☆17Jan 3, 2025Updated last year
- Haskell ctags/etags generator☆25Aug 19, 2023Updated 2 years ago
- ☆40Oct 5, 2025Updated 7 months ago
- LLVM backend for m88k architecture☆53Aug 6, 2025Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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 last year
- Agent Manipulation Language☆18Dec 20, 2017Updated 8 years ago
- [Mirror] A close reading of the μKanren paper.☆44Jun 14, 2022Updated 3 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
- 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☆77Apr 30, 2026Updated 3 weeks 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.
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- A little (< 300 loc), incomplete TCL interpreter☆13Mar 3, 2017Updated 9 years ago
- An Emacs major mode for editing Shen source code☆30Dec 30, 2013Updated 12 years ago
- SOM - Simple Object Machine (plain Java implementation)☆19Aug 19, 2025Updated 9 months ago
- Source code for 'Beginning F# 4.0' by Robert Pickering and Kit Eason☆11Mar 28, 2017Updated 9 years ago
- 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
- 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
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Port of Cyc to Common Lisp☆25May 11, 2026Updated 2 weeks ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- 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
- Try s7 scheme in your browser, powered by WebAssembly☆48Sep 27, 2020Updated 5 years ago
- Various C programs I have created from the https://learncgames.com website☆12Mar 5, 2021Updated 5 years ago
- lang Thue + Regex☆15Apr 20, 2022Updated 4 years ago
- The source code of Franz Lisp☆49Oct 26, 2020Updated 5 years ago
- ☆100Aug 3, 2024Updated last year
- 3D Action RPG, all in the browser. In the style of Kindgoms of Amalur. Includes in-game level builder.☆19Aug 14, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A simple Web Assembly Interpreter☆18Mar 15, 2024Updated 2 years ago
- Verify naive = datafrog-opt, in rust/polonius☆16Jun 26, 2025Updated 11 months ago
- Garbage collection for Ada☆12Jan 15, 2023Updated 3 years ago
- GNU SETL☆39Feb 7, 2025Updated last year
- mf2outline is a python script that converts METAFONT fonts to outline formats like OpenType.☆10Mar 13, 2023Updated 3 years ago
- a 9term-compatible terminal in Ruby/Tk☆18Jan 28, 2012Updated 14 years ago
- A C++ library implementing fast language models estimation using the 1-Sort algorithm.☆16May 18, 2023Updated 3 years ago