Beast code in Giters

Billy Snikkers's repositories

feather

A featherweight declarative instance manager for Roblox.

Language:LuaMIT200

FreeMagma

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

Language:TeX2 20

ChexersAI

Language:Python100

nat-deduction

Language:Lean1 10

TL

A formalisation of a Type Theory and its associated category

Language:Lean100

web

Personal website

Language:HTML1 10

CoqPerceptron

Verified Coq Implementation of the Perceptron Algorithm

Language:CoqBSD-3-Clause000

FR

Language:C000

simpledraw

Language:Lua010

fuzz

Language:Rust010

lean

Lean Theorem Prover

Language:C++Apache-2.0000

luau-lsp

Language Server Implementation for Luau

MIT000

moving

A clean and minimalist theme for Jekyll.

MIT000

NevermoreEngine

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

Language:LuaMIT000

Poly

A half assed polynomial implementation for making finite field timestables

Language:Python000

proofnet

Language:Lean000

register-machines

Every computable function, via register machines, via Luau

MIT000

roact

A view management library for Roblox Lua similar to React

Language:LuaApache-2.0000

starter-workflows

Accelerating new GitHub Actions workflows

MIT000

vacposter

Language:TeX010

wally-index

Production package index for Wally

000

watersort-solver

Language:Python000

ZoneChat

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

Language:Python000