Rust multi‑backend OCR/VLM engine (DeepSeek‑OCR, PaddleOCR‑VL, DotsOCR) with DSQ quantization and an OpenAI‑compatible server & CLI – run locally without Python.

ESP32 battlebot firmware for the NodeMCU ESP32S and a PS4 controller

A WebSocket server implementation for running Model Context Protocol (MCP) servers. This application enables MCP servers to be accessed via WebSocket connections, facilitating integration with web …

Stand-alone build for sigchat, a Xous app

The Xous microkernel

Model-based design and verification for robotics.

A pure-Rust implementation of group operations on Ristretto and Curve25519

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

Hardened allocator designed for modern systems. It has integration into Android's Bionic libc and can be used externally with musl and glibc as a dynamic library for use on other Linux-based platfo…

Renode - Antmicro's open source simulation and virtual development framework for complex embedded systems

Xv6 for RISC-V

A Rust version of the libsignal-service-java library for communicating with Signal servers.

A Signal client for xous

A machine learning compiler for GPUs, CPUs, and ML accelerators

A community-driven modular vim/neovim distribution - The ultimate vimrc

Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filte…

Utilities for working with configuration files in typer CLIs.

Fastest library to load data from DB to DataFrames in Rust and Python

A MkDocs plugin for citation management using bibtex

TDS 7.2+ (Microsoft SQL Server) driver for Rust

My dotfiles for hyprland, a great wayland compositor

⚡️Optimizing einsum functions in NumPy, Tensorflow, Dask, and more with contraction order optimization.

👾 NixOS configuration

Main repository for the Sphinx documentation builder