rgrig/barista
fork of Barista, an OCaml library for handling Java bytecode
Developer Profile
rgrig
Discovered public repositories for rgrig in the GitHub catalog.
rgrig/topl
TOPL Runtime Verifier
rgrig/hacks
Various one-or-two-file programs
rgrig/papers
rgrig's papers
rgrig/texpar
reformats paragraphs in text files, while being toughtful about not messing up TeX stuff
rgrig/twitstat
compute some statistics on twitter statuses
rgrig/rgrig-hp
Homepage of RGrig. Includes a few free programs.