A modern hardware definition language and toolchain based on Python

A consolidated list of the Jeff Dean Facts!

MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more

An assembler for Cray-1/XMP Assembly Language (CAL)

✅Browser ❌Cloudflare ✅Host — Generator of customized Cloudflare error pages (unofficial)

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

digital signal processing library for software-defined radios

the lrzsz suite of x/y/z-modem tools.

An Emacs framework for the stubborn martian hacker

Data interchange with algebraic data types.

Reusable JavaScript library for creating sketchy/hand-drawn styled charts in the browser.

A new bootable USB solution.

An LLVM/Clang/LLD based mingw-w64 toolchain

Design circuit boards with code! ✨ Get software-like design reuse 🚀, validation, version control and collaboration in hardware; starting with electronics ⚡️

Deploy headless browsers in Docker. Run on our cloud or bring your own. Free for non-commercial uses.

🎹 Memorize piano scales with ease! A piano practice program w/ MIDI support. Consider it an interactive reference manual

A cargo-subcommand to speed up Rust Docker builds using Docker layer caching.

Cap'n Proto serialization/RPC system - core tools and C++ library

Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages

The smartest way to learn touch typing and improve your typing speed.

Multi-platform nightly builds of open source digital design and verification tools

Repo for working on "std aware cargo"

Rust tool for generating FFI definitions allowing many other languages to call Rust code

My custom wireshark plugins

Sail architecture definition language

Tool to `cargo vendor` with filtering

A project for generating C bindings from Rust code

A next-generation test runner for Rust.

Verified Rust for low-level systems code