mniip/Doger mniip/Doger

  • This repository has been archived on 01/Feb/2022
  • Stars
    star
    24
  • Rank 986,245 (Top 20 %)
  • Language
    Python
  • License
    GNU General Publi...
  • Created over 10 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mniip/Doger
github

mniip

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

spectre-meltdown-poc

A semi-demi-working proof of concept for a mix of spectre and meltdown vulnerabilities
C
129
star
2

BOOTSTRA

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

wtfcoc

A reasonable Code of Conduct for reasonable people.
103
star
4

LUA

A programming language based upon the lua programming language
C
35
star
5

yoctoparsec

A truly tiny monadic parsing library
Haskell
28
star
6

discord-eval

A discord frontend for an interactive interpreter bot
Haskell
22
star
7

sandbox

A secure process-level sandbox based on a ptrace jail
C++
13
star
8

th-tc

Poor man's typechecker in Template Haskell
Haskell
9
star
9

tcpaste

A TCP pastebin
C++
8
star
10

finite-typelits

A type inhabited by finitely many values, indexed by type-level naturals.
Haskell
8
star
11

yt

youtube downloader in lua
Lua
8
star
12

hexchat-lua

Lua scripting plugin for Hexchat
7
star
13

vtshot

Linux console recording tool.
C
7
star
14

dlng

Dynamic Linker NG
C
6
star
15

functional-kmp

KMP implemented on haskell's built-in cons-cell-based lists.
Haskell
6
star
16

um32

Universal Machine emulator in C
C
5
star
17

xsTPTIRC

IRC client for The Powder Toy (http://powdertoy.co.uk)
Lua
5
star
18

os

C
5
star
19

znc-modules

ZNC modules
C++
4
star
20

icfpc2021

Haskell
3
star
21

fresnel

Numerical Fresnel diffraction
C
3
star
22

dequantify

A program that removes quantifiers in statements involving rational functions using Tarski-Seidenberg algorithm
Haskell
3
star
23

singleton-typelits

Singletons and induction schemes for GHC TypeLits.
Haskell
3
star
24

xsRecord

x11 screen recorder, outputs PPM for convertability reasons
C++
3
star
25

Hask

CT stuff in haskell
Haskell
3
star
26

ZF

Experimenting with classical FOL+ZF in Coq.
Coq
3
star
27

aoc-2020

Haskell
2
star
28

hexchat-haskell

A Haskell scripting plugin for HexChat
Haskell
2
star
29

rualloc

Retarded Useless Allocator
C
2
star
30

bananapeel

Java
2
star
31

coercion-extras

Extra utilities for manipulating nominal and representational coercions
Haskell
2
star
32

h6502

A haskell 6502 emulator presented as a monad transformer
Haskell
2
star
33

partial-records

Template haskell utilities for constructing records with default values
Haskell
2
star
34

monad-introspect

Haskell
2
star
35

fbmode

A tiny tool for editing the framebuffer settings
C
2
star
36

aoc2021

Haskell
2
star
37

fdmp

Floppy drive midi player
C++
1
star
38

ansi-g-machine

C
1
star
39

icfpc2020-galaxy

Haskell
1
star
40

xsBot

IRC bot completely in Lua
Lua
1
star
41

mniip.github.io

CSS
1
star
42

apk

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

highlel

HIGH Level Emulation of Linux
C++
1
star
44

nibble-trie

Haskell
1
star