This repository contains random stuff that I have written. For example libraries, proved systems, and programs.
maude: Contains maude specifications and proofs
C_C++: Contains programs and libraries written in C or C++
Coq: Contains projects, proofs, and specifications done in Coq
rltool: http://maude.cs.illinois.edu/tools/rltool/
Maude: http://maude.cs.illinois.edu/