Step by step towards open source full self driving

sunnypilot is an open source driver assistance system. sunnypilot offers the user a unique driving experience for over 350 supported car makes and models with modified behaviors of driving assist e…

openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.

Tiny theorem prover with syntax like Lean 4 in <1K LOC

μLA: Micro Logic Analyzer for RP2040

24 channel, 100Msps logic analyzer hardware and software

Devin's attempt at creating an OpenSCAD MCP Server that takes a user prompt and generates a preview image and 3d file.

A CLI inspector for the Model Context Protocol

MCP Server for Ghidra

FreeCAD MCP(Model Context Protocol) server

A middleware to provide an openAI compatible endpoint that can call MCP tools

A web-based application to listen to radio transmissions from your browser using a cheap USB digital TV tuner

[CVPR 2025] MASt3R-SLAM: Real-Time Dense SLAM with 3D Reconstruction Priors

Local CLI Copilot, powered by Ollama. 💻🦙

Code to accompany "A Method for Animating Children's Drawings of the Human Figure"

SSH into your Linux Machine (e.g. headless Raspberry Pi) from Bluetooth.

Prime95 source code from GIMPS to find Mersenne Prime.

Why not run micropython on your EMFI tool?

Automated iOS Backup Robot

Distributed LLM inference. Connect home devices into a powerful cluster to accelerate LLM inference. More devices means faster inference.

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

A smart contract wallet controlled using email

Email verification circuit in halo2