-
-
tinygrad Public
Forked from tinygrad/tinygradYou like pytorch? You like micrograd? You love tinygrad! ❤️
Python MIT License UpdatedOct 13, 2025 -
chyp Public
Forked from akissinger/chypAn interactive theorem prover for string diagrams
Python Apache License 2.0 UpdatedOct 27, 2024 -
Game_of_Life Public
The Game of Life, also known simply as Life, is a cellular automaton devised by the British mathematician John Horton Conway in 1970.
-
KingdomConquer Public
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.