#
Lists (1)
Starred repositories
An extremely fast Python type checker and language server, written in Rust.
Systems language with linear types and capability-based security.
An oekaki BBS board running on top of the AT Protocol.
Your music, beautifully tracked. All yours. (coming soon)
Fork of the Gleam compiler providing a Nix backend, compiling Gleam to Nix
A GUI/CLI tool for downloading PS3 and PS4 game updates
Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].
X11 XTEST reimplementation primarily for Steam Controller on Wayland
☁️ Nextcloud server, a safe home for all your data
Dendrite is a second-generation Matrix homeserver written in Go!
A NixOS module that lets you route traffic from systemd services through a VPN while preventing DNS leaks.
Uguu is a simple lightweight temporary file host with support for drop, paste, click and API uploading.
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
ArkScript is a small, fast, functional and scripting language for C++ projects
Use of a Linux initramfs to fully automate the bootstrapping process