Radu Grigore (@rgrig)
github

rgrig

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    24
  • Global Rank 570,688 (Top 20 %)
  • Followers 33
  • Following 9
  • Registered almost 15 years ago
  • Most used languages
    OCaml
         30.0 %
    Python
         30.0 %
    TeX
         10.0 %
    Rust
         10.0 %
    JavaScript
         10.0 %
    C
         10.0 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 20,399
  • Country Ranking
    OCaml
         113
    TeX
         648
    Rust
         876
    C
         4,889
    Python
         7,540

Top repositories

1

plad

Programming Languages: Applications and Design (course materials)
Rust
7
star
2

topl

TOPL Runtime Verifier
OCaml
5
star
3

papers

rgrig's papers
Python
4
star
4

systems-book

A tour through concepts necessary to understand how modern computer systems are built.
TeX
3
star
5

treebuffers

experiments with a data structure that generalizes linear buffers
Python
3
star
6

twitstat

compute some statistics on twitter statuses
Python
1
star
7

barista

fork of Barista, an OCaml library for handling Java bytecode
OCaml
1
star
8

texpar

reformats paragraphs in text files, while being toughtful about not messing up TeX stuff
OCaml
1
star
9

hacks

Various one-or-two-file programs
C
1
star
10

rgrig-hp

Homepage of RGrig. Includes a few free programs.
JavaScript
1
star