mniip

He/Him. Functional programming & Pure math.

@TypeableBelgrade, Serbia

Pinned Repositories

hexchat-addons
Plugins and scripts made for HexChat
Language:Perl285 70 093
BOOTSTRA
This is an experiment in bootstrapping some sort of programming language/environment from a clean MS-DOS install.
Language:Batchfile119 7 04
discord-eval
A discord frontend for an interactive interpreter bot
Language:Haskell22 3 04
Doger
Used to be the official dogecoin IRC tipbot. Discontinued as of May 2020.
Language:Python24 10 417
LUA
A programming language based upon the lua programming language
Language:C36 8 40
sandbox
A secure process-level sandbox based on a ptrace jail
Language:C++14 4 01
spectre-meltdown-poc
A semi-demi-working proof of concept for a mix of spectre and meltdown vulnerabilities
Language:C129 16 552
wtfcoc
A reasonable Code of Conduct for reasonable people.
103 9 111
yoctoparsec
A truly tiny monadic parsing library
Language:Haskell28 5 16
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.
Language:C++4.7k 130 418795

mniip's Repositories

mniip/yoctoparsec
A truly tiny monadic parsing library
Language:Haskell28 5 16
mniip/discord-eval
A discord frontend for an interactive interpreter bot
Language:Haskell22 3 04
mniip/sandbox
A secure process-level sandbox based on a ptrace jail
Language:C++14 4 01
mniip/finite-typelits
A type inhabited by finitely many values, indexed by type-level naturals.
Language:Haskell11 4 118
mniip/icfpc2021
Language:Haskell3 4 00
mniip/singleton-typelits
Singletons and induction schemes for GHC TypeLits.
Language:Haskell3 4 13
mniip/aoc2021
Language:Haskell2 2 0
mniip/aoc2024
Language:Lean2
mniip/coercion-extras
Extra utilities for manipulating nominal and representational coercions
Language:Haskell2 3 0
mniip/monad-introspect
Language:Haskell2 4 0
mniip/mniip.github.io
Language:CSS1 2 2
mniip/aoc-2022
Language:Haskell2 0
mniip/aoc2023
Language:Rust2 0
mniip/atheme-contrib-modules
Community-supported modules for Atheme
Language:C2 0
mniip/box-tuples
A hack to use GHC.Prim primitives in GHCi
Language:Haskell3 0
mniip/container-shapes
Formalizing Semialign and friends in Lean
Language:Lean
mniip/coq-classical-ensembles
Classical ensembles (subsets of a universe) in Coq.
Language:Coq2 0
mniip/DiscordSRV
Discord bridging plugin for block game https://modrinth.com/plugin/discordsrv
Language:Java
mniip/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
3 01
mniip/hypercubing.xyz
Website for the Hypercubing community
Language:Python0 0
mniip/Hyperspeedcube
Modern, beginner-friendly 3D and 4D Rubik's cube simulator
Language:Rust0 0
mniip/icfpc2022
Language:Haskell3 0
mniip/icfpc2024
Language:Haskell2 0
mniip/LookaroundNFA
Lean4 proofs about regexes with lookarounds
Language:Lean
mniip/nix-test
Language:Nix
mniip/profunctors
Haskell 98 Profunctors
Language:Haskell0 0
mniip/pygments-css
css files created from pygment's built-in styles
Language:CSS1 0
mniip/solanum
An IRCd for unified networks
Language:C2 0
mniip/these
An either-or-both data type, with corresponding hybrid error/writer monad transformer.
Language:Haskell1 0
mniip/xml
Various XML utility packages for Haskell
Language:Haskell1 0