Ben Spitz's repositories
SmallCategories
A database of small finite categories
LaHacks2017-Exe
Generates difficult integrals
wig-solver-chrome
A chrome extension for dealing with whenisgood.net results
2048-hsAI
A haskell-based 2048-playing machine.
babby_nets
Code for a talk at UCLA, given 11-18-24
haskell-unicode-snippets
Atom plugin which provides snippets for Haskell unicode operators
helm
A functionally reactive game engine, with headgear to protect you from the headache of game development provided.
Intro-to-Monads
Working Title: "Compact Hausdorff Spaces are Algebraic Objects"
LAHacks2015-Game
A game by Ben Spitz, Cole Hugelmeyer, and maybe others.
latexer
Adds LaTex autocompletion to Atom.io
manim
Animation engine for explanatory math videos
meta-tac-toe
A haskell implementation of an "ultimate tic tac toe" AI.
penrose
Create beautiful diagrams just by typing notation in plain text.
pitft_fblib
A C++ library for displaying 16-bit color graphics on the PiTFT
translate-SGAI
Let's translate works of Grothendieck
tutorials
Some Lean tutorials
Vigenery
Automatic Vigenère and Affine Cipher Decoding
wig-solver
Basically, it's a set-cover solver. Built to be used by http://wig-solver.app.