mniip

BOOTSTRA

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

yoctoparsec

A truly tiny monadic parsing library

discord-eval

A discord frontend for an interactive interpreter bot

sandbox

A secure process-level sandbox based on a ptrace jail

th-tc

Poor man's typechecker in Template Haskell

finite-typelits

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

fresnel

Numerical Fresnel diffraction

icfpc2021

singleton-typelits

Singletons and induction schemes for GHC TypeLits.

aoc2021

coercion-extras

Extra utilities for manipulating nominal and representational coercions

monad-introspect

partial-records

Template haskell utilities for constructing records with default values

ZF

Experimenting with classical FOL+ZF in Coq.

icfpc2020-galaxy

mniip.github.io

nibble-trie

aoc-2022

aoc2023

atheme-contrib-modules

Community-supported modules for Atheme

box-tuples

A hack to use GHC.Prim primitives in GHCi

coq-classical-ensembles

Classical ensembles (subsets of a universe) in Coq.

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

icfpc2020

icfpc2022

nanohc

pygments-css

css files created from pygment's built-in styles

solanum

An IRCd for unified networks

these

An either-or-both data type, with corresponding hybrid error/writer monad transformer.

xml

Various XML utility packages for Haskell