savask

Pinned Repositories

set.mm
Metamath source file for logic and set theory
Language:HTML234 22 33485
icfpc2021
Language:Haskell3 4 00
minitpt
A stripped down version of TPT used for testing
Language:C++2 3 00
metamath-exe
Metamath program - source code for the Metamath executable
Language:C0 0 00
PowderToypp
Powder Toy in C++
Language:C++10
set.mm
Metamath source file for logic and set theory
Language:HTML0 1 00
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.
Language:C++10
PowderToypp
This repository has been moved to https://github.com/FacialTurd/The-Powder-Toy
Language:C++19 10 19311
tptpp
Powder Toy Rewrite in C++
Language:C++7 6 01
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.
Language:C++4.4k 124 400746

savask's Repositories

savask/PowderToypp
Powder Toy in C++
Language:C++10
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.
Language:C++10
savask/metamath-exe
Metamath program - source code for the Metamath executable
Language:C0 0 00
savask/set.mm
Metamath source file for logic and set theory
Language:HTML0 1 00