The Wayback Machine - http://web.archive.org/web/20220121222930/https://github.com/plum-umd/
Skip to content

@plum-umd

Programming Languages at University of Maryland

Popular repositories

  1. redexer Public

    The Redexer binary instrumentation framework for Dalvik bytecode

    Smali 141 34

  2. rtc Public

    Ruby 83 4

  3. Abstracting Definitional Interpreters

    TeX 56 2

  4. (Nominal) Adapton in OCaml

    OCaml 43 3

  5. cgc Public

    Constructive Galois connections

    Agda 28 3

  6. rubah Public

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

    Java 22 3

Repositories

Top languages

Loading…

Most used topics

Loading…