Popular repositories

1. redexer redexer Public

   The Redexer binary instrumentation framework for Dalvik bytecode

   Smali 157 33

2. rtc rtc Public

   Ruby 84 4

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

   Abstracting Definitional Interpreters

   TeX 65 2

4. adapton.ocaml adapton.ocaml Public

   (Nominal) Adapton in OCaml

   OCaml 46 5

5. cgc cgc Public

   Constructive Galois connections

   Agda 31 3

6. rubah rubah Public

   Rubah is a Dynamic Software Updating (DSU) system for Java that works on stock JVMs

   Java 24 3