CatsAreFluffy

2048-patches

Patches for the domain independent 2048 AI and some other things.

mmsjs

A Javascript version of Metamath Solitaire

ordinalbumping

An incremental game based on ordinals.

reactorkk

A knockoff of a knockoff of a knockoff (jk) of a small component of a Minecraft mod.

rkkt

Reactor Knockoff Knockoff 2: I'm Not Telling You What The T Means

type-theory

Haskell implementation of normalization by evaluation and bidirectional type checking

stgm

ftgm but faster

A-increasing-game

A game made by Aarex, Alemagno12, and Username5243.

Community-Idle

exevaluator

An evaluator for Hyper E Notation and its extensions. Also supports other base letters (ABCDEFGH)

frostbite-gi

Maybe a new game soon.

ftgm

Fast The Grand Matrix

general-polytope-project

Automatically generated polytope website, or something

goo-simulator

HVM

A massively parallel, optimal functional runtime in Rust

hyperbolic

Hyperbolic plane.

infinitesoup

An infinite soup generator.

IvarK.github.io

Antimatter Dimensions

magna_numerus.js

An attempt for storing large numbers bigger than JavaScript can handle

ngp3-save-gen

Antimatter Dimensions NG+3 save generator.

polygolf

Polyglot autogolfer for https://code.golf

polytope

Abstract polytopes, in Lean!

polytope-stuff

A few things I made for polytopes.

reflection

A reflection group toy.

set.mm

Metamath source file for logic and set theory

Super-Reactor

A knockoff of CatsAreFluffy's Reactor Knockoff Knockoff.

tonlex

Taranovsky C analysis helper

twgl.js

A Tiny WebGL helper Library

UNAN-calculator

Universal-Attractor