blinkybool

feather

A featherweight declarative instance manager for Roblox.

FreeMagma

An open-source library of Catalan (and other) bijections

ChexersAI

LongestPath

Implementations of state-of-the-art longest path algorithms.

nat-deduction

probTM

TL

A formalisation of a Type Theory and its associated category

web

Personal website

CoqPerceptron

Verified Coq Implementation of the Perceptron Algorithm

FR

simpledraw

FreeAlgebra

fuzz

gen-mod-OMR

Generative Modelling (UU OMR project)

hijax

Hi, JAX! - A short introduction to JAX for deep learning researchers

lean

Lean Theorem Prover

luau-lsp

Language Server Implementation for Luau

moving

A clean and minimalist theme for Jekyll.

NevermoreEngine

ModuleScript loader with reusable and easy unified server-client modules for faster game development on Roblox

Poly

A half assed polynomial implementation for making finite field timestables

proofnet

register-machines

Every computable function, via register machines, via Luau

roact

A view management library for Roblox Lua similar to React

starter-workflows

Accelerating new GitHub Actions workflows

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

vacposter

wally-index

Production package index for Wally

watersort-solver

ZoneChat

Discord bot for moving users between voice channels according to roblox zones.