Starred repositories
Lean 4 programming language and theorem prover
Hunt down social media accounts by username across social networks
High performance wlroots screen recording, featuring hardware encoding
A configurable, terminal based MPD Client with album art support via various terminal image protocols
🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites
A markup-based typesetting system that is powerful and easy to learn.
A hackable markdown, Typst, latex, html(inline) & YAML previewer for Neovim
BSPWM environment with 18 themes. With a theme selector to change on the fly.
Modular visual interface for GDB in Python
💥 Blazing fast terminal file manager written in Rust, based on async I/O.
Blazing fast Neovim framework providing solid defaults and a beautiful UI, enhancing your neovim experience.
The official SuiteSparse library: a suite of sparse matrix algorithms authored or co-authored by Tim Davis, Texas A&M University.
Plugin to improve viewing Markdown files in Neovim
Powerful and highly extensible command-line based document and bibliography manager.
A list of Free Software network services and web applications which can be hosted on your own servers
Audiofy is a next-generation Android Media player that delivers a simple, lightweight, and high-performance experience. Powered by ExoPlayer, Media3, and Jetpack Compose.
🎧 Open source music client! Available for both desktop & mobile!
A list of Free and Open Source Software (FOSS) for Android – saving Freedom and Privacy.
Collection of userstyles affecting the browser
Make typesetting LaTeX as fast as handwriting through snippets, text expansion, and editor enhancements
bumblebee-status is a modular, theme-able status line generator for the i3 window manager.
List of projects that provide terminal user interfaces
🐢 Open-Source Evaluation & Testing library for LLM Agents