Popular repositories Loading

1. holophrasm holophrasm Public

   Holophrasm: a neural Automated Theorem Prover for higher-order logic

   Objective-C++ 52 13

2. linearKittens linearKittens Public

   An AI for bloodrizer's Kittens Game.

   JavaScript 11 2

3. SGSTeX SGSTeX Public

   A fork of Ken Clary's GameTeX: http://web.mit.edu/kenclary/Public/Guild/GameTeX/

   TeX 2

4. udtw udtw Public

   Understanding Diplomacy through Wargaming

   Jupyter Notebook 2

5. Weaver Weaver Public

   A Mathematica package for performing fast calculations in W-algebras.

   Mathematica 1

6. voxelreduction voxelreduction Public

   An implementation of a voxelization-reduction algorithm

   Mathematica