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