Machine Learning Systems

lispers.net code for the world's most feature-rich implementation of the Locator/ID Separation Protocol (LISP)

NobodyWho is an inference engine that lets you run LLMs locally and efficiently on any device.

A GPU cluster manager that configures and orchestrates inference engines like vLLM and SGLang for high-performance AI model deployment.

A web app for rapidly prototyping AI agents and the lightweight web UIs that wrap them—build flows, preview interactions, and share agent-driven experiences without lock-in.

pmacct is a small set of multi-purpose passive network monitoring tools [NetFlow IPFIX sFlow libpcap BGP BMP RPKI IGP Streaming Telemetry].

Secure execution VM executing human-like language (no-code) to operate on data and advanced cryptographic operations.

A small self-contained alternative to readline and libedit

Specula: A framework for finding deep bugs in system code using TLA+

ET Accelerator Firmware and Runtime

A Rust document retrieval using embeddings. (Llama.cpp + libsql)

ONNXRuntime-based inference backend for the SmolVLA

Emacs as your personal AI assistant. Use LLMs such as ChatGPT or LLaMA for text generation or DALL-E and Stable Diffusion for image generation. Also supports speech input / output.

Tensors. Compile time is free. Runtime is not.

view based o.s.

Platform for evaluating reinforcement learning (RL) algorithms on a physical Atari system.

a unix os written in zig for riscv64

Measure Make, Bazel, Scons, Ninja, etc. Are project claims true?

The LM Desk project is a central entrypoint for configuring a set of awesome tools that will power your desktop productivity using generative AI. This is a project-of-projects that brings together …

A LOWL-to-LLVM map for compiling the ML/I Macro Processor.

A blog compiler.

Firmware for Acorn Archimedes RP2040-based podule

Port of MIT's xv6 OS to the Nezha RISC-V board with Allwinner D1 SoC

PCB design for Acorn Archimedes RP2040-based podule

"libcpu" is an open source library that emulates several CPU architectures

Smalltalk-80 bare metal implementation for the Raspberry Pi

I/O Riot is a tool for logging, replaying, and benchmarking I/O on Linux

A MIDI Library for Microcontrollers

MH: a microkernel for fun and experimenting!