An easy to use on-screen annotation software inspired by Epic Pen.

Refactoring and linting tool for Scala

oj! Algorithms

Alternative fs2 docs

🎉 一个简约的音乐播放器，支持逐字歌词，音乐云盘及本地音乐管理，流媒体 Jellyfin / Navidrome / Emby 播放，音乐频谱，移动端适配 | A minimalist music player featuring word-by-word lyrics, comments, music cloud storage, and local library management,…

Compositional, streaming I/O library for Scala

Scala macros for compile-time generation of safe and ultra-fast JSON codecs + circe booster

Secret managing scheme for NixOS

A Wayland kiosk

Xwayland outside your Wayland

Bug fix for 1.7.10 Immersive Engineering arc furnace recipes invisible in NEI Unofficial.

Run multiple programs and interactive shells in one Proton's environment.

A Git-compatible VCS that is both simple and powerful

A scrollable-tiling Wayland compositor.

My personal nix flake

An even funnier way to disable windows defender. (through WSC api)

一键DD/重装脚本 (One-click reinstall OS on VPS)

The official repository of Mozilla's Firefox web browser.

The official repository for tariff

Revive the beauty of typography.

Pure and reproducible nix overlay of binary distributed rust toolchains

强大的哔哩哔哩增强脚本

A multi-shell completion binary.

A new type of shell

A better build tool for Java, Scala and Kotlin: Simpler than Maven, easier than Gradle, with 3-7x faster dev workflows than other JVM build tools

Scala language server with rich IDE features 🚀

The Scala 3 compiler, also known as Dotty.

A modern GUI client based on Tauri, designed to run in Windows, macOS and Linux for tailored proxy experience

A neat Minecraft in-game chat interacting API with server-side l10n support, suitable for chatbots.