A verification toolchain for Rust programs

Offline, privacy-first grammar checker. Fast, open-source, Rust-powered

DNS-Blocklists: For a better internet - keep the internet clean!

⚡️A native, local-first alternative to Logitech Options+, written in Rust 🦀 — remap buttons, DPI, and SmartShift over HID++. No account, no telemetry.

The IntercalScript programming language

Rust bindings and a Slint backend for libinkview

CrowdSec - the open-source and participative security solution offering crowdsourced protection against malicious IPs and access to the most advanced real-world CTI.

An introduction to programming language theory in Agda

agda-mode for neovim

Tree-sitter syntax highlighting for code blocks in Typst

terminal based viewer for DevDocs

The account-utils package contains services, utilities and PAM modules, which allow authentication and account management on systems with the NoNewPrivs flag set (no setuid/setgid binaries)

JMAP Webmail built for the 21st Century. A modern, self-hosted email client for Stalwart Mail Server powered by the JMAP protocol. Email, calendar, contacts and files. Fast, private, and open source.

A statically typed language compatible with Python

Measure Linux kernel's modified condition/decision coverage (MC/DC)

WebAssembly interpreter that fits in a QR code

MTProxy for Telegram on Rust + Tokio

a very cool and dog-pilled fork (or rather, patchset) of Telegram Android

Export Telegram chats to Markdown

A Material 3 inspired desktop shell for Niri and Hyprland created with Ignis.

unofficial patch-based Telegram Desktop fork

A user-friendly, lightweight TUI for disk imaging

curl > /dev/sda experiments lain

A fluid, morphing shell for your Linux desktop

personal website powered by a Hakyll compiler that renders pages with Typst

Cross-platform and non-web GUI library for 🦀 Rust powered by 🎨 Skia.