Pinned Repositories
AGTP
AGTP is an Automated Geometric Theorem Proving system.
Baduk-go
Go board game in python
Competitive
Collection of exercises
Fundit
Fundit is a simple web app that will allow users to buy stocks in a simulated environment.
MMP
.
N33DLE
Open-source CS:GO dll injector.
Rocket_Launch
Rocket launch simulation using matplotlib
joniva's Repositories
joniva/N33DLE
Open-source CS:GO dll injector.
joniva/AGTP
AGTP is an Automated Geometric Theorem Proving system.
joniva/Competitive
Collection of exercises
joniva/Fundit
Fundit is a simple web app that will allow users to buy stocks in a simulated environment.
joniva/MMP
.
joniva/Rocket_Launch
Rocket launch simulation using matplotlib
joniva/Baduk-go
Go board game in python