GitHub - luke36/miscellanea

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
Single-MIPS		Single-MIPS
FingerTree.h		FingerTree.h
Poly.agda		Poly.agda
README.txt		README.txt
SimpleProc2.v		SimpleProc2.v
cont.ml		cont.ml
fol.v		fol.v
phoas.ml		phoas.ml
rbt.ml		rbt.ml
turing.scm		turing.scm
wbt.cpp		wbt.cpp

Repository files navigation

FingerTree.h : ephemeral finger tree.
Poly.agda : formalization of a higher-kinded (HM-like) type system.
fol.v : formalization of first order logic. too silly though.
phoas.ml : try parameterized higher-order abstract syntax.
rbt.ml : persistent red-black tree.
turing.scm : a simple turing-machine dsl.
wbt.cpp : persistent weight-balanced tree with maximal sharing.