The GitButler version control client, backed by Git, powered by Tauri/Rust/Svelte

A modern Prolog implementation written mostly in Rust.

Arbitrary-precision unit-aware calculator

🔤 Rust implementations of string similarity metrics

TUI library in Rust with a custom templating language and runtime

Simple expression transformer that is not Coq.

Agon Light, Agon Light 2, Agon Console8 Emulator for Linux, Windows, any system with libSDL

Shard: a functional flavoured imperative language

Blazing fast, cross-platform zig version manager & project starter kit

Language learning for power users

A command-line class assignment scheduler

Tool(s) for analyzing Ultimate Tic-Tac-Toe games