roro47

I'm a cat. I like programming and math.

Cherryton Academy

Pinned Repositories

2D-Traffic-Simulation
Language:Matlab00
advent_of_code
Language:Ruby00
beastars
00
competitive-coding
Language:C++00
emacs-config
Just config
Language:Emacs Lisp00
fbchat
Facebook Chat (Messenger) for Python
Language:Python00
Gromov-Witten-Invariant
To calculate Gromov-Witten Invariant
Language:Jupyter Notebook00
HaskellSAT
Language:Haskell00
wacc_haskell
Language:Haskell10

roro47's Repositories

roro47/wacc_haskell
Language:Haskell10
roro47/2D-Traffic-Simulation
Language:Matlab00
roro47/advent_of_code
Language:Ruby00
roro47/beastars
00
roro47/competitive-coding
Language:C++00
roro47/emacs-config
Just config
Language:Emacs Lisp00
roro47/fbchat
Facebook Chat (Messenger) for Python
Language:Python00
roro47/Gromov-Witten-Invariant
To calculate Gromov-Witten Invariant
Language:Jupyter Notebook00
roro47/HaskellSAT
Language:Haskell00
roro47/ImperialExtract
roro47/klee
KLEE Symbolic Execution Engine
Language:C++
roro47/little_xena
roro47/M4P33
M4 algebraic geometry course in Lean
roro47/mathlib
Lean mathematical components library
Language:Lean
roro47/messenger_history
Language:Python
roro47/optimising-electricity
Live coding problem
roro47/paperNetwork
Language:Haskell
roro47/PythonExercise
Language:Python
roro47/roro-library
roro47/virus_experiment
Language:C
roro47/xena
Lean Library currently studying for a degree at Imperial College