Managing multiple vterm buffers in Emacs

Last.fm Scrobble API for Rust

An E-Ink PDA device using the ESP32 S3.

macOS system monitor in your menu bar

isd (interactive systemd) – a better way to work with systemd units

Kani Rust Verifier

A scrollable-tiling Wayland compositor.

Goose converts a subset of Go to Rocq

Fast multimodal routing in Rust designed for memory-constrained machines

A fully static distributed library system powered by IPFS, SQLite and GitHub

This library provides an implementation of the DBSP language for incremental streaming computations.

A community driven list of useful Emacs packages, libraries and other items.

EmissionControl2 (EC2) is a standalone interactive real-time application for granular synthesis and sound file granulation. It is available for OSX, Linux, and Windows.

Mellanox libibverbs

Async Web Server for ESP8266 and ESP32

A standalone tool that allows the user a greater degree of flexibility for making creative and interesting screenshots.

An awesome list of e-graph resources

MIT-licensed Qt bindings for Go

Arduino core for the ESP32

Efficient and minimal collaborative code editor, self-hosted, no database required

rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.

RISC-V implementation of the C/C++ Atomic operations library

Writing an OS in Rust

A Lisp interpreter written fully in rust macros.

Berkeley's Spatial Array Generator

RPG Maker & Engine

A command-line benchmarking tool

Build and run containers leveraging NVIDIA GPUs

Issue tracking for the Steam for Linux beta client