A Rust to Ada/SPARK converter that makes your systems immune to the Rust virus. Converts Rust code to formally verifiable Ada, including itself.

Echo - Open Hardware Music Player

A unified graphical user experience toolkit for Go desktop applications

The smallest Forth real programming language for 6502. Based in milliForth for x86.

a forth bot irc multi users with gmp precision numbers threaded

A fully compiled and forth-like language including a small virtual machine.

E-ink IBM XT clone with solar power, ultra low power consumption, and ultra long battery life.

NixOS-based chatmail server

Reticulum Network Stack in Go

Mac menu bar app to perform scheduled backups using restic

Crankshaft: A turnkey GNU/Linux solution that transforms a Raspberry Pi to an Android Auto head unit.

⏰ 🔥 A TCP proxy to simulate network and system conditions for chaos and resiliency testing

Source for the little book about OS development

ESP32-based focus timer with an epaper display and rotary dial

A portable keycard music player for kids.

SX1262 LoRa project to the Flipper Zero

Making Rust better with Go

Lightweight Extensible Signal Transport for Reticulum

Open re-implementation of the Quansheng UV-K5 firmware

Tiny Lisp Interpreter Written in Ada

A WIP recursive resolver written in Odin

An app launcher for the PicoVision

Example configuration for OpenBSD NixBSD

Magnificent app which corrects your previous console command.

Simple state-machine-based HTTP 1.x request parser.

Simple and extensible HTTP library

(WIP) Basic web server veritably containing no stack/heap overflows, memory leaks, null deferences, etc

Ash is an Ada Simple HTTP Server

An Emacs interface for jujutsu, inspired by magit and humbly not attempting to match it in scope.