mniip/apk mniip/apk

  • This repository has been archived on 05/Aug/2021
  • Stars
    star
    1
  • Language Makefile
  • Created almost 8 years ago
  • Updated almost 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mniip/apk
github

mniip

Reviews

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

Repository Details

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

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

Doger

Used to be the official dogecoin IRC tipbot. Discontinued as of May 2020.
Python
24
star
7

discord-eval

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

sandbox

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

th-tc

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

tcpaste

A TCP pastebin
C++
8
star
11

finite-typelits

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

yt

youtube downloader in lua
Lua
8
star
13

hexchat-lua

Lua scripting plugin for Hexchat
7
star
14

vtshot

Linux console recording tool.
C
7
star
15

dlng

Dynamic Linker NG
C
6
star
16

functional-kmp

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

um32

Universal Machine emulator in C
C
5
star
18

xsTPTIRC

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

os

C
5
star
20

znc-modules

ZNC modules
C++
4
star
21

icfpc2021

Haskell
3
star
22

fresnel

Numerical Fresnel diffraction
C
3
star
23

dequantify

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

singleton-typelits

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

xsRecord

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

Hask

CT stuff in haskell
Haskell
3
star
27

ZF

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

aoc-2020

Haskell
2
star
29

hexchat-haskell

A Haskell scripting plugin for HexChat
Haskell
2
star
30

rualloc

Retarded Useless Allocator
C
2
star
31

bananapeel

Java
2
star
32

coercion-extras

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

h6502

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

partial-records

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

monad-introspect

Haskell
2
star
36

fbmode

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

aoc2021

Haskell
2
star
38

fdmp

Floppy drive midi player
C++
1
star
39

ansi-g-machine

C
1
star
40

icfpc2020-galaxy

Haskell
1
star
41

xsBot

IRC bot completely in Lua
Lua
1
star
42

mniip.github.io

CSS
1
star
43

highlel

HIGH Level Emulation of Linux
C++
1
star
44

nibble-trie

Haskell
1
star