Pinned Repositories
chyp
An interactive theorem prover for string diagrams
FadiShawki
Config files for my GitHub profile.
Game_of_Life
The Game of Life, also known simply as Life, is a cellular automaton devised by the British mathematician John Horton Conway in 1970.
KingdomConquer
In this algorithm challenge you will need to conquer all kingdoms by creating an efficient algorithm that generates the most cost-effective route to conquer all kingdoms.
tinygrad
You like pytorch? You like micrograd? You love tinygrad! ❤️
archive
A log of OrbitMines, exposed, through time: Technical Tangents, Research and Literary Exposure
library
A library for Intercommunication between Languages. The indexing, analysis ..., comparison of existing abstract models of computation, mathematics, calculi, theorem-provers, compilers, proof assistants, automated program synthesizers, ..., (programming) languages.
orbitmines.com
https://orbitmines.com - Once a Minecraft server, now the building of a world where engineering, science, education are all an exploratory videogame.
ray
A Universal Language: One Ray to rule them all, One Ray to find them, One Ray to bring them all, and in the darkness bind them.
FadiShawki's Repositories
FadiShawki/FadiShawki
Config files for my GitHub profile.
FadiShawki/KingdomConquer
In this algorithm challenge you will need to conquer all kingdoms by creating an efficient algorithm that generates the most cost-effective route to conquer all kingdoms.
FadiShawki/Game_of_Life
The Game of Life, also known simply as Life, is a cellular automaton devised by the British mathematician John Horton Conway in 1970.
FadiShawki/chyp
An interactive theorem prover for string diagrams
FadiShawki/tinygrad
You like pytorch? You like micrograd? You love tinygrad! ❤️