Discover @mniip Open Source projects

@mniip

mniip

Stars
597
Global Rank 47,691 (Top 2 %)
Followers 192
Registered over 12 years ago
Most used languages

Haskell
41.9 %

C
23.3 %

C++
14.0 %

Lua
7.0 %

Makefile 2.3 %

CSS
2.3 %

Coq 2.3 %

Batchfile 2.3 %

Java
2.3 %

Python
2.3 %
Location 🇷🇸 Serbia
Country Total Rank 8
Country Ranking

Batchfile 1

Coq 1

Haskell
1

C
4

Lua
11

Makefile 17

C++
25

Python
85

CSS
250

Java
306

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

Doger

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

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

tcpaste

yt

youtube downloader in lua

hexchat-lua

Lua scripting plugin for Hexchat

vtshot

Linux console recording tool.

dlng

Dynamic Linker NG

finite-typelits

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

functional-kmp

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

um32

Universal Machine emulator in C

xsTPTIRC

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

os

znc-modules

icfpc2021

fresnel

Numerical Fresnel diffraction

dequantify

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

singleton-typelits

Singletons and induction schemes for GHC TypeLits.

xsRecord

x11 screen recorder, outputs PPM for convertability reasons

Hask

CT stuff in haskell

aoc-2020

hexchat-haskell

A Haskell scripting plugin for HexChat

rualloc

Retarded Useless Allocator

bananapeel

coercion-extras

Extra utilities for manipulating nominal and representational coercions

h6502

A haskell 6502 emulator presented as a monad transformer

monad-introspect

partial-records

Template haskell utilities for constructing records with default values

fbmode

A tiny tool for editing the framebuffer settings

aoc2021

ZF

Experimenting with classical FOL+ZF in Coq.

fdmp

Floppy drive midi player

ansi-g-machine

icfpc2020-galaxy

xsBot

IRC bot completely in Lua

mniip.github.io

apk

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

highlel

HIGH Level Emulation of Linux

nibble-trie