Radu Grigore (rgrig)

rgrig

Geek Repo

Company:WhatsApp

Location:Canterbury, UK

Home Page:http://rgrig.appspot.com/

Twitter:@rgrig

Github PK Tool:Github PK Tool

Radu Grigore's repositories

plad

Programming Languages: Applications and Design (course materials)

Language:RustLicense:MITStargazers:7Issues:5Issues:0

topl

TOPL Runtime Verifier

papers

rgrig's papers

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

Language:PythonLicense:MITStargazers:3Issues:2Issues:1

barista

fork of Barista, an OCaml library for handling Java bytecode

Language:OCamlLicense:LGPL-3.0Stargazers:1Issues:2Issues:29

hacks

Various one-or-two-file programs

rgrig-hp

Homepage of RGrig. Includes a few free programs.

Language:JavaScriptStargazers:1Issues:3Issues:2

texpar

reformats paragraphs in text files, while being toughtful about not messing up TeX stuff

twitstat

compute some statistics on twitter statuses

Language:RustStargazers:0Issues:2Issues:0
Language:PythonStargazers:0Issues:1Issues:0

breadcrumbs

Persistent bounded buffers

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

CSrankings

A web app for ranking computer science departments according to their research output in selective venues.

Language:PythonStargazers:0Issues:2Issues:0

elasticsearch

Open Source, Distributed, RESTful Search Engine

Language:JavaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

freeboogie

Automatically exported from code.google.com/p/freeboogie

Language:JavaStargazers:0Issues:1Issues:76

hash-modulo-alpha

Quickly hashing all subexpressions of a program modulo alpha-renaming

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

homework-eval

Automatically exported from code.google.com/p/homework-eval

Language:JavaStargazers:0Issues:2Issues:23

infer

A static analyzer for Java, C and Objective-C

Language:OCamlLicense:MITStargazers:0Issues:2Issues:7

javadoc-reader

Automatically exported from code.google.com/p/javadoc-reader

Language:JavaStargazers:0Issues:2Issues:16

lambda-club

Material from presentations at the University of Kent's LambdaClub meetings

Language:HTMLStargazers:0Issues:2Issues:0

light-4j

A fast, lightweight and more productive microservices framework

Language:JavaLicense:Apache-2.0Stargazers:0Issues:1Issues:0

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 ...

Language:JavaLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Language:OCamlStargazers:0Issues:6Issues:6