ezrasitorus

Arm | Maths + CS @ Imperial College London

London

Pinned Repositories

2dgravity_simulation
A simple Python program to simulate gravity. Requires PyGame to run
Language:Python00
codewars_lean
Examples of Codewars LEAN questions
Language:Lean00
debugger
A simple debugger in rust
Language:Rust00
matrices
Various matrix and linear algebra functions written in Haskell
Language:Haskell00
ModelsOfComputation
Formally verified set of notes for the while language from Imperial College London's Models of Computation Course. All written in Lean.
Language:Lean00
Bus-Nusantara
Bus Nusantara aims to make intercity bus travel across Indonesia faster and better by reducing travel times for passengers and bus drivers
Language:Kotlin2 2 00

ezrasitorus's Repositories

ezrasitorus/2dgravity_simulation
A simple Python program to simulate gravity. Requires PyGame to run
Language:Python00
ezrasitorus/codewars_lean
Examples of Codewars LEAN questions
Language:Lean00
ezrasitorus/debugger
A simple debugger in rust
Language:Rust00
ezrasitorus/matrices
Various matrix and linear algebra functions written in Haskell
Language:Haskell00
ezrasitorus/ModelsOfComputation
Formally verified set of notes for the while language from Imperial College London's Models of Computation Course. All written in Lean.
Language:Lean00