JakubGonera/FregeSimulation
Isabelle formalisation of Reckhow's theorem on Frege system simulation
Repositories
JakubGonera/TCS-curriculum
JakubGonera/opencv-test-pod
JakubGonera/SplitHappens
JakubGonera/HydraulicErosion
Simulation of hydraulic erosion in Unity
JakubGonera/PBR
PBR renderer
JakubGonera/Zyfara
Submission for Motorola Science Cup competition.