Popular repositories Loading

1. redexer redexer Public

   The Redexer binary instrumentation framework for Dalvik bytecode

   Smali 174 32

2. rtc rtc Public

   Ruby 84 4

3. abstracting-definitional-interpreters abstracting-definitional-interpreters Public

   Abstracting Definitional Interpreters

   TeX 75 2

4. adapton.ocaml adapton.ocaml Public

   (Nominal) Adapton in OCaml

   OCaml 58 6

5. cgc cgc Public

   Constructive Galois connections

   Agda 36 3

6. adapton.racket adapton.racket Public

   Racket-based implementation of Adapton

   Racket 25 3