mniip
mniip
He/Him. Functional programming & Pure math.
Languages
Top Repositories
A semi-demi-working proof of concept for a mix of spectre and meltdown vulnerabilities
This is an experiment in bootstrapping some sort of programming language/environment from a clean MS-DOS install.
A reasonable Code of Conduct for reasonable people.
A programming language based upon the lua programming language
Used to be the official dogecoin IRC tipbot. Discontinued as of May 2020.
A discord frontend for an interactive interpreter bot
Repositories
76A semi-demi-working proof of concept for a mix of spectre and meltdown vulnerabilities
youtube downloader in lua
A type inhabited by finitely many values, indexed by type-level naturals.
This is an experiment in bootstrapping some sort of programming language/environment from a clean MS-DOS install.
Formalizing Semialign and friends in Lean
Matrix builds for cabal
POSIX functionality
No description provided.
DerivingVia for OpenAPI 3
A reasonable Code of Conduct for reasonable people.
No description provided.
A discord frontend for an interactive interpreter bot
Discord bridging plugin for block game https://modrinth.com/plugin/discordsrv
No description provided.
Simple snake game to test Raylib compilation for web
Lean4 proofs about regexes with lookarounds
No description provided.
No description provided.
A programming language based upon the lua programming language
An either-or-both data type, with corresponding hybrid error/writer monad transformer.
HIGH Level Emulation of Linux
A secure process-level sandbox based on a ptrace jail
No description provided.
Modern, beginner-friendly 3D and 4D Rubik's cube simulator
Website for the Hypercubing community
Experimenting with classical FOL+ZF in Coq.
No description provided.
Used to be the official dogecoin IRC tipbot. Discontinued as of May 2020.
No description provided.
No description provided.