Media server for comics/mangas/BDs/magazines/eBooks with API, OPDS, Kobo Sync and KOReader Sync support

A sane music player built with media3 and material design library that is following android's standard strictly.

Anki's shared backend and web components, and the Qt frontend

Corso di Enterprise Applications - CdS in informatica - Università della Calabria

Cartero is the native, lightweight, multiplatform and free HTTP client that you can use to test your APIs. Avoid bloat, respect your privacy, reject cloud; that's the motto.

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Empowering everyone to build reliable and efficient software.

A calmer internet, without any gimmicks.

CSS is powerful, you can do a lot of things without JS.

The automation tower defense RTS

⭐️ Companies that don't have a broken hiring process

A smallish Android RSS reader

My NixOS configurations.

☕️ My Dot Files

My configuration files and tools

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

📚 A curated list of papers for Software Engineers

An incremental parsing system for programming tools

Code documentation written as code! How novel and totally my idea!

Performant, batteries-included completion plugin for Neovim

Maple Mono: Open source monospace font with round corner, ligatures and Nerd-Font for IDE and terminal, fine-grained customization options. 带连字和控制台图标的圆角等宽字体，中英文宽度完美2:1，细粒度的自定义选项

The user-friendly command line shell.

The systemd System and Service Manager

A shell script which checks your $HOME for unwanted files and directories.

A maintained, feature-rich and performance oriented, neofetch like system information tool.

Java JsonPath implementation

The OpenGL Samples Pack

ncurses replacement relying on ANSI escape codes