Documenting common pitfalls and footguns in Lean

A simple ecommerce demo project developed with react, typescript & tailwind

A minimal opinionated theme for Hugo

A tool for glamorous shell scripts 🎀

Cause I'm Lazy.

L2T2 Database Term Project, clone of Codeforces

Simulate a practice team contest

Implements the Huffman Coding algorithm.

Processing 4.x releases for Java 17

⚠️ Processing moved to processing/processing4 ⚠️

Godot Engine – Multi-platform 2D and 3D game engine

JSON for Modern C++

A journal of theorems, lemmas and problems for Mathematical Olympiads.

A header-only C++ template library for manipulating the settings of a Windows console (colors, text position, input mode, etc.)

A Minimal, Header only Modern c++ library for terminal goodies 💄✨

The fastest feature-rich C++11/14/17/20/23 single-header testing framework

AtCoder Library

The official distribution of olcPixelGameEngine, a tool used in javidx9's YouTube videos and projects

The official distribution of Javidx9's YouTube videos and projects

Library for generating tests for olympiad problems

C++ library to develop competitive programming problems