Code for training and evaluating a "tactics" model, which suggests proof steps generatively.

Calibre Plugins for CrossPoint Reader

Firmware for the Xteink X4 e-paper display reader

Full-featured BitTorrent client package and utilities

Simple, robust, BitTorrent's Mainline DHT implementation

Official Transmission BitTorrent client repository

Multilingual Document Layout Parsing in a Single Vision-Language Model

Pico Pico - Embedded Programming with Raspberry Pi Pico 2 and Rust

A foldable fixed-bed-cantilever 3D-printer, that fits into a spoolbox and uses off-the-shelf parts only.

An unofficial Prusa MK3 and MK4 to Switchwire total conversion mod, from Positron's April Fools of 2025.

ZeroClick - fast & simple bed probing for tiny printers

Open source industrial grade filament 3D printer.

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

Julia wrapper for cimgui

Truck is a Rust CAD Kernel.

A drag-and-drop CAD package for beginners.

Horizon is a free EDA package

Parametric 2D and 3D modeler written in pure javascript

3D CAD application

Official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.

Parametric 2d/3d CAD

A browser-based 3D CAD application for online model design and editing

A tool to detect whether a PDF has a bad redaction

The LumenPnP is an open source pick and place machine.

Text user interfaces for Julia

ncurses based data navigators

A simple app to test out build123d code

A build123d parametric part collection

A CAD viewer capable of displaying OCP models (CadQuery/Build123d) in a web browser.