Stars
A free, open-source digital wellness tool for Android. Blocks distracting content, sets time limits, and helps you use social media intentionally. AGPL-3.0
Overleaf from your terminal — pull, push, two-way sync, compile, and manage LaTeX projects via CLI. Smart .olignore filtering, deletion propagation, self-hosted Overleaf/ShareLaTeX support, AgentSk…
Minimalist, data-oriented pomodoro timer for Android and Desktop based on Material 3 Expressive
Lean Companion to the Category Theory in Context textbook by Emily Riehl
a proof-of-concept project for a possible Nintendo Switch 2 emulator.
Playfair is a general purpose Open Source typeface family
shiroa is a simple tool for creating modern online books in pure typst.
Open source emulator for the Nintedo Switch 1 and 2. Highly work in progress
Weighs the soul of incoming HTTP requests to stop AI crawlers
Third-party Bluesky client designed with a Windows Longhorn-like aesthetic.
A tree-sitter based AST difftool to get meaningful semantic diffs
A continuation of HomeBox the inventory and organization system built for the Home User
Pympress is a simple yet powerful PDF reader designed for dual-screen presentations
Nix-enabled environment for your Android device. [maintainers=@t184256,@Gerschtli]
An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WASM sandboxing.
CLI for SQLite Databases with auto-completion and syntax highlighting
Free, open-source VHS effect. Standalone application + plugin (After Effects, Premiere, and OpenFX).
Simple tracing (mark and sweep) garbage collector for Rust
A streamlined Ultimate Guitar client with Spotify integration
Bringing the Helix editor to the evil side