mniip

spectre-meltdown-poc. A semi-demi-working proof of concept for a mix of spectre and meltdown vulnerabilities

BOOTSTRA. This is an experiment in bootstrapping some sort of programming language/environment from a clean MS-DOS install.

wtfcoc. A reasonable Code of Conduct for reasonable people.

LUA. A programming language based upon the lua programming language

yoctoparsec. A truly tiny monadic parsing library

discord-eval. A discord frontend for an interactive interpreter bot

Doger. Used to be the official dogecoin IRC tipbot. Discontinued as of May 2020.

cabal-matrix. Matrix builds for cabal

sandbox. A secure process-level sandbox based on a ptrace jail

finite-typelits. A type inhabited by finitely many values, indexed by type-level naturals.

yt. youtube downloader in lua

th-tc. Poor man's typechecker in Template Haskell

tcpaste. A TCP pastebin

vtshot. Linux console recording tool.

hexchat-lua. Lua scripting plugin for Hexchat

dlng. Dynamic Linker NG

functional-kmp. KMP implemented on haskell's built-in cons-cell-based lists.

os. C

um32. Universal Machine emulator in C

xsTPTIRC. IRC client for The Powder Toy (http://powdertoy.co.uk)

znc-modules. ZNC modules

ZF. Experimenting with classical FOL+ZF in Coq.

The-Powder-Toy. Written in C and using SDL, The Powder Toy is a desktop version of the classic 'falling sand' physics sandbox, it simulates air pressure and velocity as well as heat.

icfpc2021. Haskell

dequantify. A program that removes quantifiers in statements involving rational functions using Tarski-Seidenberg algorithm

xsRecord. x11 screen recorder, outputs PPM for convertability reasons

Hask. CT stuff in haskell

fresnel. Numerical Fresnel diffraction

singleton-typelits. Singletons and induction schemes for GHC TypeLits.

bananapeel. Java

monad-introspect. Haskell

hexchat-haskell. A Haskell scripting plugin for HexChat

partial-records. Template haskell utilities for constructing records with default values

fbmode. A tiny tool for editing the framebuffer settings

highlel. HIGH Level Emulation of Linux

h6502. A haskell 6502 emulator presented as a monad transformer

aoc2024. Lean

rualloc. Retarded Useless Allocator

aoc2021. Haskell

coercion-extras. Extra utilities for manipulating nominal and representational coercions

apk. Cruft-less android app template, compilable via make, importable into an Android Studio project.

mniip.github.io. CSS

icfpc2020-galaxy. Haskell

nibble-trie. Haskell

DiscordSRV. Discord bridging plugin for block game https://modrinth.com/plugin/discordsrv

fdmp. Floppy drive midi player

ansi-g-machine. C