Lean 4 programming language and theorem prover

A fast-paced puzzle game with roots in the arcade.

A PyTorch Library for Accelerating 3D Deep Learning Research

🏆 Deep Reinforcement Learning for the Threes! game.

Anki's shared backend and web components, and the Qt frontend