-
turing Public
Tools for the busy beaver problem
-
set.mm Public
Forked from metamath/set.mmMetamath source file for logic and set theory
HTML Creative Commons Zero v1.0 Universal UpdatedJan 6, 2024 -
The-Powder-Toy Public
Forked from The-Powder-Toy/The-Powder-ToyWritten in C and using SDL, The Powder Toy is a desktop version of the classic 'falling sand' physics sandbox, it simulates air pressure and velocity as well as heat.
-
metamath-exe Public
Forked from metamath/metamath-exeMetamath program - source code for the Metamath executable
C GNU General Public License v2.0 UpdatedJul 18, 2022 -
PowderToypp Public
Forked from simtr/PowderToyppPowder Toy in C++
{{ message }}