GitHub repository: pomle/aabb-collision
Primary language: Rust
Description: A proof for AABB rectangle collision detection.