mpu Goto Github PK

acme-tiny

A tiny script to issue and renew TLS certs from Let's Encrypt

alltext

An adptation of emacs_chrome from Alex Bennée (and David Hilley) to work with all editors on Linux

avl-myr

blang

chunking

computerlanguages

My personal notes on various computer languages

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coredump

dedukti

A type-checker for the λΠ-modulo calculus.

dhcpcd

DHCP / IPv4LL / IPv6RA / DHCPv6 client

dkparse

A fast λΠ-modulo type checker.

easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

encr

A no frills stream encryption tool.

faster-command-line-tools-in-nim

A comparison of Nim's performance against the "Faster Command Line Tools in D" blog post found here: http://dlang.org/blog/2017/05/24/faster-command-line-tools-in-d/

fnt

Bitmap font edition tools.

gfmt

Greedy text flowing

gpuinfo

nvidia device and system information reporting

gthreads

Toy Green Threads for C.

gthreads-art

A green threads tutorial.

haskell-puzzle

Brute force puzzle solving.

hol

HOL experiments

hol-light

The HOL Light theorem prover

https-everywhere

A browser extension that encrypts your communications with many websites that offer HTTPS but don't yet enforce it.

iip

lambda

A small λ-calculus interpreter in C

lollimon

Lollimon, a monadic concurrent linear logic programming language

lua-lang

Haskell library to handle Lua source code (Parsing, Printing, Quasi-Quotations).

mkd

A Haskell Markdown implementation.

ml

machine learning experiments

mlannot

See OCaml type annotations in VIM as fast as C.