Pinned Repositories
set.mm
Metamath source file for logic and set theory
icfpc2021
metamath-exe
Metamath program - source code for the Metamath executable
PowderToypp
Powder Toy in C++
set.mm
Metamath source file for logic and set theory
The-Powder-Toy
Written 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.
turing
Tools for the busy beaver problem
PowderToypp
This repository has been moved to https://github.com/FacialTurd/The-Powder-Toy
tptpp
Powder Toy Rewrite in C++
The-Powder-Toy
Written 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.
savask's Repositories
savask/PowderToypp
Powder Toy in C++
savask/The-Powder-Toy
Written 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.
savask/turing
Tools for the busy beaver problem
savask/metamath-exe
Metamath program - source code for the Metamath executable
savask/set.mm
Metamath source file for logic and set theory