An AI agent system for solving International Mathematical Olympiad (IMO) problems using Google's Gemini, OpenAI, and XAI APIs.

Your comprehensive guide to global programming contests. Track events, get details, and never miss a competition.

A database for Chinese OI participants.

NiriMod – A visual, interactive configuration interface for the niri Wayland compositor.

A C implementation for creating 2D Voronoi/Delauney diagrams

lints and suggestions for the nix programming language

Community-driven Nix Flake for the Zen browser

Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]

Predictive inline shell autosuggestions for zsh. Go daemon, no TUI, no sync

track your OI preparation!

Chrome extension for automatic time tracking and metrics generated from your browsing activity.

FFmpeg GUI

NOIP, NOI, IOI

TUI to organize your time: Pomodoro, Tabata, Countdown, Timer, Event.

Google Coding Competitions problem archive

Collected solutions from Google Code Jam programming competition (2008-2021).

The best competitive programming tutorials on codeforces for those who are not awesome yet.

AtCoder Categories

Keep ChatGPT fast — Firefox & Chrome extension that trims DOM in long conversations

The configuration framework for Zsh

A scrollable-tiling Wayland compositor.

A sleek, customizable desktop shell crafted for Wayland.

TAS files for the game Celeste

Browser extension which parses competitive programming problems

Practical and Powerful wayland compositor (dwm but wayland)

choosing FFT library...

#1 PDF Application on GitHub that lets you edit PDFs on any device anywhere