no_std Hardware Abstraction Layers for ESP32 microcontrollers

My generative/plotter art explorations, packaged as vpype plug-ins.

See which of your LinkedIn connections appear in the Epstein files.

Curated list of resources for ESP32 development in the Rust programming language

Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust

Additional Dockerfiles and crosstool-ng config files to build additional toolchains.

MacOS Cross-Toolchain for Linux and *BSD

🌍 multiarch cross compiling environments

Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.

Makes reverse engineering Android apps easier, automating repetitive tasks like pulling, decoding, rebuilding and patching an APK.

The famous and historic Truchet tiles

Standardized Distributed Generative and Predictive AI Inference Platform for Scalable, Multi-Framework Deployment on Kubernetes

Simple grammar-based test case generator

Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.

Incremental parser for OpenSCAD using tree-sitter

A bittorrent client in Rust

Fast and portable tools for plotter users

BuildKit Syft scanner

Visualize your multi-stage Dockerfiles

Linux-native "fake root" for implementing rootless containers

Analyze Rust crates without touching compiler internals

KaRaMeL is a tool for extracting low-level F* programs to readable C code

Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

The Rust package registry

VectorLite is a Rust-native, in-process vector store that brings sub-millisecond search and local embeddings to your AI agents and edge systems.

An experiment.