diracdeltafunk Goto Github PK

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.

lahacks2016

lahacks2017-exe

Generates difficult integrals

latexer

Adds LaTex autocompletion to Atom.io

manim

Animation engine for explanatory math videos

math-data-wizard

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

pycatlib

smallcategories

A database of small finite categories

smallcategories-site

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.

wig-solver-chrome

A chrome extension for dealing with whenisgood.net results