Open-source Windows and Office activator featuring HWID, Ohook, TSforge, KMS38, and Online KMS activation methods, along with advanced troubleshooting.

Rumm tactics for finding Metamath proofs of propositional logic

Easily spot missing ARIA labels, misused ARIA roles, and incomplete keyboard support in your web applications.

Solve puzzles. Learn CUDA.

A tactics-based Metamath proof language

Retrieval-Augmented Theorem Provers for Lean

Metamath source file for logic and set theory

Library for snippet annotations

Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.

Metamath Blueprints

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

Atom package to automatically hide the mini-map when you aren't using it.

Programming language for literate programming law specification

rhythm is just a *click* away!

Pulsar Object Notation Syntax Highlighting in Pulsar

Browser extension that simplifies the GitHub interface and adds useful features

🍦 VanJS: World's smallest reactive UI framework. Incredibly Powerful, Insanely Small - Everyone can build a useful UI app in an hour.

Style React fast with 100% parity on React Native, an optional UI kit, and optimizing compiler.

The official gpt4free repository | various collection of powerful language models | o3 and deepseek r1, gpt-4.5

Windows system utilities to maximize productivity

A Manifesto for Open Source Software and Free Services

Standard Library

A bridge between Lichess bots and chess engines

Just, really the littlest Vec you could need. So smol.

A Minecraft clone with the purpose of learning Rust an OpenGL

for all your ++ -- needs

Tetris which always gives you the worst piece