Remap any key to any other two keys on Windows 🔥. Remap CapsLock to both Ctrl and Escape! (It's like xcape for windows!)

Empowering everyone to build reliable and efficient software.

Rust文書の和訳レポジトリ

Exclude machine-translated sites of Stack Exchange from Google search results

AtCoder Library

GitHub Actions for GitHub Pages 🚀 Deploy static files and publish your site easily. Static-Site-Generators-friendly.

Yet another keyboard remapping tool for X environment

Code Snippets for TheoremProvingInLean

Lean Theorem Prover

Starter code for working with the YouTube-8M dataset.

A statically-typed, functional typesetting system

Fast math typesetting for the web.

A flexible framework of neural networks for deep learning