Radu Grigore's repositories
systems-book
A tour through concepts necessary to understand how modern computer systems are built.
treebuffers
experiments with a data structure that generalizes linear buffers
breadcrumbs
Persistent bounded buffers
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
elasticsearch
Open Source, Distributed, RESTful Search Engine
freeboogie
Automatically exported from code.google.com/p/freeboogie
hash-modulo-alpha
Quickly hashing all subexpressions of a program modulo alpha-renaming
homework-eval
Automatically exported from code.google.com/p/homework-eval
javadoc-reader
Automatically exported from code.google.com/p/javadoc-reader
lambda-club
Material from presentations at the University of Kent's LambdaClub meetings
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 ...