mniip Goto Github PK

ansi-g-machine

aoc-2022

aoc2021

aoc2023

apk

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

atheme

Atheme IRC Services

atheme-contrib-modules

Community-supported modules for Atheme

atheme-fn

freenode-specific extension modules for Atheme.

bananapeel

bitcoin-python

Friendly bitcoin API binding for Python

bootstra

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

box-tuples

A hack to use GHC.Prim primitives in GHCi

coercion-extras

Extra utilities for manipulating nominal and representational coercions

conlock

X11 console screen lock

coq-classical-ensembles

Classical ensembles (subsets of a universe) in Coq.

dequantify

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

discord-eval

A discord frontend for an interactive interpreter bot

dlng

Dynamic Linker NG

doger

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

fbmode

A tiny tool for editing the framebuffer settings

fdmp

Floppy drive midi player

finite-typelits

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

fresnel

Numerical Fresnel diffraction

functional-kmp

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

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

h6502

A haskell 6502 emulator presented as a monad transformer

hask

CT stuff in haskell

hexchat

GTK+ IRC client -

hexchat-haskell

A Haskell scripting plugin for HexChat

hexchat-lua

Lua scripting plugin for Hexchat