Pinned Repositories
ChexersAI
feather
A featherweight declarative instance manager for Roblox.
FR
FreeMagma
An open-source library of Catalan (and other) bijections
LongestPath
Implementations of state-of-the-art longest path algorithms.
nat-deduction
simpledraw
TL
A formalisation of a Type Theory and its associated category
web
Personal website
metaboard
Multiplayer drawing boards for sharing knowledge in Roblox.
blinkybool's Repositories
blinkybool/feather
A featherweight declarative instance manager for Roblox.
blinkybool/FreeMagma
An open-source library of Catalan (and other) bijections
blinkybool/ChexersAI
blinkybool/LongestPath
Implementations of state-of-the-art longest path algorithms.
blinkybool/nat-deduction
blinkybool/TL
A formalisation of a Type Theory and its associated category
blinkybool/web
Personal website
blinkybool/CoqPerceptron
Verified Coq Implementation of the Perceptron Algorithm
blinkybool/FR
blinkybool/simpledraw
blinkybool/FreeAlgebra
blinkybool/fuzz
blinkybool/hijax
Hi, JAX! - A short introduction to JAX for deep learning researchers
blinkybool/lean
Lean Theorem Prover
blinkybool/luau-lsp
Language Server Implementation for Luau
blinkybool/moving
A clean and minimalist theme for Jekyll.
blinkybool/NevermoreEngine
ModuleScript loader with reusable and easy unified server-client modules for faster game development on Roblox
blinkybool/Poly
A half assed polynomial implementation for making finite field timestables
blinkybool/proofnet
blinkybool/register-machines
Every computable function, via register machines, via Luau
blinkybool/roact
A view management library for Roblox Lua similar to React
blinkybool/starter-workflows
Accelerating new GitHub Actions workflows
blinkybool/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
blinkybool/vacposter
blinkybool/wally-index
Production package index for Wally
blinkybool/watersort-solver
blinkybool/ZoneChat
Discord bot for moving users between voice channels according to roblox zones.