Verified Rust for low-level systems code

Ghost Arcade — open-source projection mapping & VJ software. WebGPU-accelerated, MIDI control, mobile companion, 200+ effects. AGPL-3.0. ghostarcade.live

Web-App zur Erfassung und Auflistung von aktuellen ÖPNV Neubau- und Ausbauprojekten

An experimental Retrieval-Augmented Generation (RAG) system specialised in ingesting MediaWiki sites via their API and providing an OpenAI API interface to interact with them.

🐚bash/POSIX-compatible shell implemented in Rust 🦀

SécurixOS is a NixOS-based secure operating system tailored for small to medium-sized teams. It provides a minimal, hardened environment with strong isolation, reproducibility, and policy-driven co…

Lutris desktop client

Modern Python library and CLI for managing Steam & Linux gaming compatibility tools. A headless, async-first alternative to ProtonUp-Qt.

Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.

Vibe-coded universal mobility navigator

🖥 A customizable departure board for all public transport in Norway

Mobility hub

bike sharing + python = pybikes

Documentation of Bike Sharing APIs 🚴🛴🛵

MacOS style AppImage installer and management application

Transform geospatial relations into graphs for Graph Neural Networks and network analysis

Ultimate go-to hub for managing your Godot versions and projects!

Eurotronic CometBlue custom component for HomeAssistant

ESPHome is a system to control your ESP32, ESP8266, BK72xx, RP2040 by simple yet powerful configuration files and control them remotely through Home Automation systems.

Simple update checker flake for NixOS

Zendure product local control methods and examples

ESPTimeCast™ is a sleek, WiFi-connected LED matrix clock and weather display built on ESP8266/ESP32 and MAX7219. It combines real-time NTP time sync, live OpenWeatherMap updates, and a modern web-b…

A simple and modern game launcher

Krita plugin which adds selection tools to mask objects with a single click, or by drawing a bounding box.

Streamlined interface for generating images with AI in Krita. Inpaint and outpaint with optional text prompt, no tweaking required.

Zendure Home Assistant Integration

High performance self-hosted photo and video management solution.

A collaborative note taking, wiki and documentation platform that scales. Built with Django and React.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.