A markdown terminal slideshow tool

Terminal image viewer

Resources for conference program chairs, especially in systems/PL areas of computer science.

List system USB buses and devices. A modern cross-platform lsusb that attempts to maintain compatibility with, but also add new features

Concise GitHub Action for installing a Rust toolchain

Protect your SSH keys with your Mac's Secure Enclave

Shrinkray is a modern multi-format test-case reducer

A free, open source, online digital circuit/logic designer.

Digital logic simulator, built to be extensible

A markup-based typesetting system that is powerful and easy to learn.

A nimble Mastodon web client

Write expressive, high-performance parsers with ease.

An async Python micro framework for building web applications.

A fancy diagnostics & error reporting crate

Timezones from the command line

Fancy extension for std::error::Error with pretty, detailed diagnostic printing.

A terminal spreadsheet multitool for discovering and arranging data

Step-by-step guide on how to create a GPG key on keybase.io, adding it to a local GPG setup and using it with Git and GitHub.

Hot is macOS menu bar application that displays the CPU speed limit due to thermal issues.

Vacuum cleaner card for Home Assistant Lovelace UI

Rust-based platform for the Web

[DEPRECATED] Small ActivityPub server

Powerful macOS menu bar customization tool

An experimental markdown processing system

A syntax-highlighting pager for git, diff, grep, and blame output

A QuickLook plugin that lets you view plain text files without a file extension

Circuit IR Compilers and Tools

Etherpad: A modern really-real-time collaborative document editor.

A decentralized social network for the small web, implemented in ActivityPub

The Inter font family