mpu

compiler hacker

@facebook

Pinned Repositories

chunking
Language:C5 5 13
dedukti
A type-checker for the λΠ-modulo calculus.
Language:Haskell3 3 00
dkparse
A fast λΠ-modulo type checker.
Language:C4 2 00
fnt
Bitmap font edition tools.
Language:C32 5 02
gthreads
Toy Green Threads for C.
Language:C195 12 030
gthreads-art
A green threads tutorial.
Language:HTML61 6 211
lambda
A small λ-calculus interpreter in C
Language:C48 5 05
ninja
A lightweight C yacc (and some cool LR(1) code in ml)
Language:Standard ML5 2 00
parsexp
LR parsing based calculators
Language:C7 2 01
re
Minimal and fast regular expression library for C.
Language:C18 3 04

mpu's Repositories

mpu/gthreads
Toy Green Threads for C.
Language:C195 12 030
mpu/gthreads-art
A green threads tutorial.
Language:HTML61 6 211
mpu/fnt
Bitmap font edition tools.
Language:C32 5 02
mpu/parsexp
LR parsing based calculators
Language:C7 2 01
mpu/chunking
Language:C5 5 13
mpu/ninja
A lightweight C yacc (and some cool LR(1) code in ml)
Language:Standard ML5 2 00
mpu/iip
Language:Coq2 5 01
mpu/avl-myr
1 2 0
mpu/coredump
Language:OCaml1 2 0
mpu/hol
HOL experiments
Language:Standard ML1 2 0
mpu/ml
machine learning experiments
Language:Python1 2 0
mpu/satx
sat experiments
Language:OCaml1 3 0
mpu/vim-hol
👀 VIM mode for HOL-Light and HOL4
Language:Python1 3 0
mpu/acme-tiny
A tiny script to issue and renew TLS certs from Let's Encrypt
Language:Python2 0
mpu/blang
Language:OCaml2 0
mpu/ComputerLanguages
My personal notes on various computer languages
2 0
mpu/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.
Language:OCaml2 0
mpu/dhcpcd
DHCP / IPv4LL / IPv6RA / DHCPv6 client
Language:C2 0
mpu/easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
Language:OCaml1 0
mpu/encr
A no frills stream encryption tool.
Language:Roff2 0
mpu/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/
Language:C2 0
mpu/gfmt
Greedy text flowing
2 0
mpu/gpuinfo
nvidia device and system information reporting
Language:C++2 0
mpu/hol-light
The HOL Light theorem prover
Language:OCaml2 0
mpu/https-everywhere
A browser extension that encrypts your communications with many websites that offer HTTPS but don't yet enforce it.
Language:JavaScript2 0
mpu/lollimon
Lollimon, a monadic concurrent linear logic programming language
Language:TeX2 0
mpu/qmbfc
2 0
mpu/sentencepiece
Unsupervised text tokenizer for Neural Network-based text generation.
Language:C++1 0
mpu/zstd
Zstandard - Fast real-time compression algorithm
Language:C2 0
mpu/zstd-bench
Language:Python3 0