Pinned Repositories
2048-patches
Patches for the domain independent 2048 AI and some other things.
generator-regex
A generator based regex engine for Python 3.
metamath-turing-machines
metamath proof enumerators and 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.
regexcif.py
Custom Python 3 regex engine.
rkkt
Reactor Knockoff Knockoff 2: I'm Not Telling You What The T Means
stgm
ftgm but faster
type-theory
Haskell implementation of normalization by evaluation and bidirectional type checking
CatsAreFluffy's Repositories
CatsAreFluffy/metamath-turing-machines
metamath proof enumerators and other things
CatsAreFluffy/mmsjs
A Javascript version of Metamath Solitaire
CatsAreFluffy/2048-patches
Patches for the domain independent 2048 AI and some other things.
CatsAreFluffy/ordinalbumping
An incremental game based on ordinals.
CatsAreFluffy/rkkt
Reactor Knockoff Knockoff 2: I'm Not Telling You What The T Means
CatsAreFluffy/type-theory
Haskell implementation of normalization by evaluation and bidirectional type checking
CatsAreFluffy/stgm
ftgm but faster
CatsAreFluffy/A-increasing-game
A game made by Aarex, Alemagno12, and Username5243.
CatsAreFluffy/Community-Idle
CatsAreFluffy/exevaluator
An evaluator for Hyper E Notation and its extensions. Also supports other base letters (ABCDEFGH)
CatsAreFluffy/frostbite-gi
Maybe a new game soon.
CatsAreFluffy/ftgm
Fast The Grand Matrix
CatsAreFluffy/general-polytope-project
Automatically generated polytope website, or something
CatsAreFluffy/goo-simulator
CatsAreFluffy/HVM
A massively parallel, optimal functional runtime in Rust
CatsAreFluffy/hyperbolic
Hyperbolic plane.
CatsAreFluffy/infinitesoup
An infinite soup generator.
CatsAreFluffy/IvarK.github.io
Antimatter Dimensions
CatsAreFluffy/lexicodes
Lexicographic code finder
CatsAreFluffy/magna_numerus.js
An attempt for storing large numbers bigger than JavaScript can handle
CatsAreFluffy/ngp3-save-gen
Antimatter Dimensions NG+3 save generator.
CatsAreFluffy/polygolf
Polyglot autogolfer for https://code.golf
CatsAreFluffy/polytope
Abstract polytopes, in Lean!
CatsAreFluffy/polytope-stuff
A few things I made for polytopes.
CatsAreFluffy/reflection
A reflection group toy.
CatsAreFluffy/set.mm
Metamath source file for logic and set theory
CatsAreFluffy/Super-Reactor
A knockoff of CatsAreFluffy's Reactor Knockoff Knockoff.
CatsAreFluffy/tonlex
Taranovsky C analysis helper
CatsAreFluffy/twgl.js
A Tiny WebGL helper Library
CatsAreFluffy/Universal-Attractor