Import Export Tools that supports Thunderbird v68-v128

Browser extension to archive webpages in Archive Today

Cross-platform Rust rewrite of the GNU coreutils

yq is a portable command-line YAML, JSON, XML, CSV, TOML, HCL and properties processor

PDMX: A Large-Scale Public Domain MusicXML Dataset for Symbolic Music Processing

A beautiful, interactive web-based piano that lets you play music using your computer keyboard. Features a full-width musical score, practice mode, and customizable key mapping. Built with React, T…

A fully featured piano with multiplayer support

A list of known attacks against Bitcoin / crypto asset owning entities that occurred in meatspace.

Multi-channel notifications for AI coding agents (Claude Code, Cursor, Codex) — sound, macOS alerts, voice, ntfy

Project Euler references (NO SOLUTIONS)

Get cookies.txt, NEVER send information outside.

Get statistics from Project Euler.

🏋️ Python / Modern C++ Solutions of All 3958 LeetCode Problems (Weekly Update)

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Project Euler in Lean4

Proofs of Project Euler problems in LEAN

Goal is to solve sample efficiency by using ARC-AGI as a benchmark

Ready-to-use OCR with 80+ supported languages and all popular writing scripts including Latin, Chinese, Arabic, Devanagari, Cyrillic and etc.

Convert HTML to Markdown

C++ solutions for more than 300 Project Euler problems

Project Euler Explained, codes used to solve Project Euler problems

Solving ARC-AGI sequentially with reinforcement learning

Like ARC, but code to generate visual puzzles. 1D puzzles first.

Multiple datasets for ARC (Abstraction and Reasoning Corpus)

Metis is an open-source, AI-driven tool for deep security code review

One stop solution for all Vulkan samples

GPQA: A Graduate-Level Google-Proof Q&A Benchmark