jamespfennell / new-typesetting-system
GitHub copy of the NTS/TeX source code from 2001
☆30Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for new-typesetting-system
- A C11 compiler for the discrete logic computer☆20Updated 7 months ago
- Binary Lambda Calculus Virtual Machine☆45Updated 9 months ago
- ISBL - Information Systems Base Language☆18Updated 10 years ago
- Multi-Array Queue program codes☆75Updated last week
- a 64-bit histogram / quantile sketch☆56Updated last year
- Programming language for ternary computing☆30Updated 3 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆64Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆72Updated last year
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 8 years ago
- Standalone jdk.compiler / JDK javac Compiler Framework + Compiler Tree API☆46Updated last year
- Memory Management ToolKit☆31Updated 2 weeks ago
- A subset of BouncyCastle crypto primitives, refactored to use DirectByteBuffer.☆30Updated 7 months ago
- A book generator☆23Updated 4 months ago
- An optimizing compiler for a large subset of the C programming language☆26Updated 3 weeks ago
- Constructive real numbers, in JavaScript. Based on Hans-J. Boehm's Java implementation☆13Updated 2 years ago
- NanoCollision: Experiments with collisions of nanosecond timestamps☆22Updated last year
- Compiling string matching algorithms and regular expressions to java bytecode☆56Updated 2 months ago
- ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…☆49Updated this week
- Pi number calculator using 8088 assembly language☆63Updated 2 years ago
- 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 8 months ago
- Demo of a WAM Prolog implementation in Python☆71Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated last year
- Kerf (Kerf2) is a columnar tick database and time-series language for Linux/OSX/BSD/iOS/Android. It is written in C++ and natively speaks…☆26Updated 2 years ago
- A portable self-bootstrapping C compiler☆49Updated last week
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆75Updated 4 years ago
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆75Updated 5 months ago
- GUI for gdb, rr, perf, and more☆23Updated 2 months ago