Pinned Repositories
barista
fork of Barista, an OCaml library for handling Java bytecode
hacks
Various one-or-two-file programs
papers
rgrig's papers
plad
Programming Languages: Applications and Design (course materials)
rgrig-hp
Homepage of RGrig. Includes a few free programs.
systems-book
A tour through concepts necessary to understand how modern computer systems are built.
texpar
reformats paragraphs in text files, while being toughtful about not messing up TeX stuff
topl
TOPL Runtime Verifier
treebuffers
experiments with a data structure that generalizes linear buffers
twitstat
compute some statistics on twitter statuses
rgrig's Repositories
rgrig/plad
Programming Languages: Applications and Design (course materials)
rgrig/topl
TOPL Runtime Verifier
rgrig/papers
rgrig's papers
rgrig/systems-book
A tour through concepts necessary to understand how modern computer systems are built.
rgrig/treebuffers
experiments with a data structure that generalizes linear buffers
rgrig/barista
fork of Barista, an OCaml library for handling Java bytecode
rgrig/hacks
Various one-or-two-file programs
rgrig/rgrig-hp
Homepage of RGrig. Includes a few free programs.
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/aoc-2020
rgrig/aoc-2021
rgrig/breadcrumbs
Persistent bounded buffers
rgrig/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
rgrig/elasticsearch
Open Source, Distributed, RESTful Search Engine
rgrig/freeboogie
Automatically exported from code.google.com/p/freeboogie
rgrig/hash-modulo-alpha
Quickly hashing all subexpressions of a program modulo alpha-renaming
rgrig/homework-eval
Automatically exported from code.google.com/p/homework-eval
rgrig/infer
A static analyzer for Java, C and Objective-C
rgrig/javadoc-reader
Automatically exported from code.google.com/p/javadoc-reader
rgrig/lambda-club
Material from presentations at the University of Kent's LambdaClub meetings
rgrig/light-4j
A fast, lightweight and more productive microservices framework
rgrig/redisson
Redisson - Redis Java client with features of In-Memory Data Grid. Over 50 Redis based Java objects and services: Set, Multimap, SortedSet, Map, List, Queue, Deque, Semaphore, Lock, AtomicLong, Map Reduce, Publish / Subscribe, Bloom filter, Spring Cache, Tomcat, Scheduler, JCache API, Hibernate, MyBatis, RPC, local cache ...
rgrig/wmm-qbf