blinkybool

Pinned Repositories

ChexersAI
Language:Python1 0 00
feather
A featherweight declarative instance manager for Roblox.
Language:Lua2 1 00
FR
Language:C0 0 00
FreeMagma
An open-source library of Catalan (and other) bijections
Language:TeX2 2 01
LongestPath
Implementations of state-of-the-art longest path algorithms.
Language:Jupyter Notebook10
nat-deduction
Language:Lean1 1 00
simpledraw
Language:Lua0 1 00
TL
A formalisation of a Type Theory and its associated category
Language:Lean1 2 00
web
Personal website
Language:HTML1 1 00
metaboard
Multiplayer drawing boards for sharing knowledge in Roblox.
Language:Lua29 3 826

blinkybool's Repositories

blinkybool/feather
A featherweight declarative instance manager for Roblox.
Language:Lua2 1 00
blinkybool/FreeMagma
An open-source library of Catalan (and other) bijections
Language:TeX2 2 01
blinkybool/ChexersAI
Language:Python1 0 00
blinkybool/LongestPath
Implementations of state-of-the-art longest path algorithms.
Language:Jupyter Notebook10
blinkybool/nat-deduction
Language:Lean1 1 00
blinkybool/probTM
Language:Python1
blinkybool/TL
A formalisation of a Type Theory and its associated category
Language:Lean1 2 00
blinkybool/web
Personal website
Language:HTML1 1 00
blinkybool/CoqPerceptron
Verified Coq Implementation of the Perceptron Algorithm
Language:Coq00
blinkybool/FR
Language:C0 0 00
blinkybool/simpledraw
Language:Lua0 1 00
blinkybool/FreeAlgebra
Language:Coq
blinkybool/fuzz
Language:Rust1 0
blinkybool/hijax
Hi, JAX! - A short introduction to JAX for deep learning researchers
Language:Python0 0
blinkybool/lean
Lean Theorem Prover
Language:C++0 0
blinkybool/luau-lsp
Language Server Implementation for Luau
Language:C++0 0
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
Language:Lua0 0
blinkybool/Poly
A half assed polynomial implementation for making finite field timestables
Language:Python0 0
blinkybool/proofnet
Language:Lean
blinkybool/register-machines
Every computable function, via register machines, via Luau
1
blinkybool/roact
A view management library for Roblox Lua similar to React
Language:Lua0 0
blinkybool/starter-workflows
Accelerating new GitHub Actions workflows
0 0
blinkybool/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
blinkybool/vacposter
Language:TeX1 0
blinkybool/wally-index
Production package index for Wally
Language:Shell0 0
blinkybool/watersort-solver
Language:Python
blinkybool/ZoneChat
Discord bot for moving users between voice channels according to roblox zones.
Language:Python