Graduated master engineer in Computer Science at AGH UST, Kraków.
In love with functional programming, type theory and dependently typed languages.
- Kraków
Pinned Loading
-
tomala-space-program
tomala-space-program Public3-body problem solver project for numeric methods course written in rust
Rust 1
-
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.