A statically-typed linear functional language with graded modal types for fine-grained program reasoning

An extremely fast Python linter and code formatter, written in Rust.

An extremely fast Python type checker and language server, written in Rust.

Source text for the Komorebi license

Odin bindings to the SQLite3 C API.

Hephaistos Shading Language

TOML parser in C17

Haskell implemented with combinators

Qt Graphical MPD Client

Run unpatched binaries on Nix/NixOS

Fast Git library in pure Go

A lightweight keyboard for Android

📱 (rebooting... please wait...)

SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, xDC replica…

Miscellaneous articles. The readme is the table of contents.

monospace typeface designed for symbol-rich programming

A minimalist, easy-to-host service for sharing images and other files

Open source HueForge alternative

Capability-oriented version of the Rust standard library

Create Encrypted Backups of Your Bitwarden Vault with Attachments

just my .dotfiles

Frame profiler

A bunch of small crates that make writing Rust more fun

Zig rewrite and drop-in replacement of poweralertd (https://codeberg.org/mrus/zpoweralertd)

A horizontal contrast monospace typeface designed by Eli Heuer. This is an alpha quality pre-1.0 typeface, not ready for use and currently under development. 🚧

Beautiful diagnostic reporting for text-based programming languages.

Markdown Linter and Formatter written in Rust

Simple, Fast, Portable Profiling

A library for compact bit sets containing enums.

Fast minecraft rendering backend for sodium (nvidia only)