Matvey Aksenov's starred repositories
lazydocker
The lazier way to manage everything docker
comprehensive-rust
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
Cataclysm-DDA
Cataclysm - Dark Days Ahead. A turn-based survival game set in a post-apocalyptic world.
elaboration-zoo
Minimal implementations for dependent type checking and elaboration
tree-sitter-haskell
Haskell grammar for tree-sitter.
first-class-families
First-class type families
flakey-profile
Declarative profiles with nix flakes
postgresql-simple-interpolate
Safe interpolated SQL queries in Haskell
yandex-browser.nix
Nix files for installing Yandex Browser on NixOS