mniip/finite-typelits mniip/finite-typelits

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created about 9 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mniip/finite-typelits
github

mniip

Reviews

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

Repository Details

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

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

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