Maxim Menshikov
Static analysis reseacher and startup founder
Equestrian management platform Networking
Management platform for the sport club based on Isabelle. This is a side project designed to simplify my own life.
Date: 2024
Languages: Rust
CPU: X86_64, ARM
Platforms: Linux