Stars
rustic - fast, encrypted, and deduplicated backups powered by Rust
Indoor Cycling App for Structured Training
Parser combinators for Zig, ready to parse on-the-fly. Consume input, not memory.
Talk on folds & unfolds (and combinations) for general algebraic data types
Xray, Penetrates Everything. Also the best v2ray-core. Where the magic happens. An open platform for various uses.
An unidentifiable mechanism that helps you bypass GFW.
Cadence is a distributed, scalable, durable, and highly available orchestration engine to execute asynchronous long-running business logic in a scalable and resilient way.
A tiny embedded Java-engine for extremely fast partitioned immutable-after-construction databases
Computational geometry and spatial indexing on the sphere
Cross-platform backup tool for Windows, macOS & Linux with fast, incremental backups, client-side end-to-end encryption, compression and data deduplication. CLI and GUI included.
Scalac plugin to detect classpath entries that aren't directly used
The simplest build tool on earth. An all-purpose build tool and a build file all in one. It's trying to be better than the usual home-grown Shell hell.
Plugin for lualine.nvim with additional components and tools
Issues (problems) for Codebattle games
The lightweight, fault-tolerant database built on SQLite. Designed to keep your data highly available with minimal effort.
💱 Trading application written in Scala 3 that showcases an Event-Driven Architecture (EDA) and Functional Programming (FP)
This plugin should help you write documentation for your plugins.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.