toduko

CS student and TA @ FMI Sofia University St. Kliment Ohridski; part-time clown

toduko's Stars

torvalds/linux
Linux kernel source tree
Language:C178k 7.9k 053.2k
godotengine/godot
Godot Engine – Multi-platform 2D and 3D game engine
Language:C++88.9k 1.5k 52.3k20.2k
RPCS3/rpcs3
PS3 emulator/debugger
Language:C++15.2k 596 7.9k1.9k
OpenLogicProject/OpenLogic
An open-source, customizable intermediate logic textbook
Language:TeX1k 99 169238
arctfx/prolog-interpreter-hs
Basic Prolog interpreter written in Haskell
Language:Haskell30