Empowering everyone to build reliable and efficient software.

Rust文書の和訳レポジトリ

Fast math typesetting for the web.

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

A statically-typed, functional typesetting system

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

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

AtCoder Library

Lean Theorem Prover

A flexible framework of neural networks for deep learning

Yet another keyboard remapping tool for X environment

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

Code Snippets for TheoremProvingInLean