Popular repositories Loading

1. The-Powder-Toy The-Powder-Toy Public

   Forked from The-Powder-Toy/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.

   C++ 1

2. PowderToypp PowderToypp Public

   Forked from simtr/PowderToypp

   Powder Toy in C++

   C++ 1

3. turing turing Public

   Tools for the busy beaver problem

   Haskell 1

4. set.mm set.mm Public

   Forked from metamath/set.mm

   Metamath source file for logic and set theory

   HTML

5. metamath-exe metamath-exe Public

   Forked from metamath/metamath-exe

   Metamath program - source code for the Metamath executable

   C