This page highlights a selection of Thomas Walker Lynch’s open source projects. Most are hosted on GitHub under github.com/Thomas-Walker-Lynch .

These projects support Reasoning Technology work on secure Linux environments, build systems, numerical libraries, and research collaborations. Each panel lists the project, a short description, and a link to its repository where available.

subu – light-weight Unix user containers – GitHub: subu
Makes use of the Unix user account to implement a light container. Each sub-user is isolated in hardware via PID space, virtual memory, and its own network namespace. systemd is used so each sub-user gets its own audio and video sockets, while Unix permissions define which files and directories are shared.

Harmony – build / environment skeleton – GitHub: Harmony
A common skeleton used across Reasoning Technology projects so that team members, often playing multiple roles on the same codebase, can coordinate work in a consistent environment. Provides role-based directory layout and tooling for developers, testers, toolsmiths, and release engineering.

Lustucru – Linux From Scratch Bash build scripts
A full set of Bash scripts for building a Linux From Scratch (LFS) system. Captures the steps and configuration in reusable scripts, making it easier to repeat LFS builds and study the resulting Linux system in a controlled way. (Hosted on GitHub; link may change as the project evolves.)

RT-gcc – GCC with RT-oriented cpp extensions – GitHub: RT-gcc
A modified version of the GCC C compiler that extends the C preprocessor with additional macros. These additions make “templated” interfaces straightforward to implement and introduce a bracketed-body form of #define so that every line in the macro body does not need to end with a backslash. Functionality is enhanced, but the macros do not make cpp recursive.

Ariadne – dependency-graph build tool – GitHub: Ariadne
A functional build tool written in Java. Unlike make, pattern rules backwards-chain through a dependency graph. Instead of describing builds declaratively, users programmatically tell the system how to build a project, expressing dependencies and steps directly in code.

Mosaic – white-box hierarchical testing – GitHub: Mosaic
A functional test environment written in Java. Designed for bottom-up, white-box, hierarchical testing of components so that complex systems can be validated from their fundamental building blocks upward.

Man-In-Grey – authoritative /etc configuration manager – GitHub: Man-In-Grey
A Linux system administration tool intended for an “ordained” user who maintains authoritative copies of /etc configuration files. Uses Python configuration descriptions that can be installed automatically, making it easier to keep a portable, versioned library of system configuration across machines.

Linux-sys-admin-notes – administration notebooks – GitHub: Linux-sys-admin-notes
A collection of notes on Linux system administration gathered over years of experimentation and operational work. Some content is being superseded by the more automated Man-In-Grey project.

miscjupy – Jupyter Notebook experiments – GitHub: miscjupy
Miscellaneous Jupyter Notebook routines, including loaders and widget styling experiments. Used as a sandbox for trying ideas in Python and interactive notebooks.

TM-2023 – TTCA tape machine in C – GitHub: TM-2023
The tape machine from the TTCA book implemented in C. Designed as a concrete reference implementation of the theoretical machine described in “Tom’s Turing Complete Architecture.” See also the Common Lisp tm project.

TM2x – doubling array in C – GitHub: TM2x
A doubling array written in C, forming part of the RT C basic types library. Provides a reusable building block for dynamic arrays with predictable growth behavior.

N – fixed-digit multiprecision library
A multiprecision arithmetic library where the number of digits is fixed at compile time. Intended for performance-sensitive numeric work where bounds are known ahead of time, combining the advantages of multiprecision with compile-time constraints.

endian – endian utilities for C – GitHub: endian
C utilities for dealing with big-endian and little-endian issues. The project grew into a research paper and a method for structuring C code without traditional header files, with both the tooling and the accompanying document being valuable outcomes.

tranche – C markup for header generation – GitHub: tranche
A simple markup language for C sources that can automatically generate header files from annotated implementations. Now deprecated, but served as an initial study in unifying header and source-level programming.

only-one – unique-contents C++ archive utility – GitHub: only-one
A C++ archive utility that keeps only unique file copies. An early attempt at an RT-style archive / database utility and part of longer term work on data stores without architecture limits.

tm – Common Lisp iteration library – GitHub: tm
Thomas’s iterator library for Common Lisp, formalizing iteration patterns. Part of the study work leading into the book “Tom’s Turing Complete Computer Architecture.”

liquid – Racket code for dark web search – GitHub: liquid
Research code written in Racket for Andrea Calì’s dark web search work at the University of London (Birkbeck). Supports experiments in querying and reasoning over constrained-access data sources.