Programming Languages at University of Maryland

icon indicating a website link http://ter.ps/plum

icon location College Park, MD

Results 14 repositories owned by Programming Languages at University of Maryland

redexer

159
Stars
33
Forks
Watchers

The Redexer binary instrumentation framework for Dalvik bytecode

verified publisher icon plum-umd

abstracting-definitional-interpreters

65
Stars
2
Forks
Watchers

Abstracting Definitional Interpreters

verified publisher icon plum-umd

adapton

16
Stars
2
Forks
Watchers

Adapton Project Homepage

verified publisher icon plum-umd

adapton.ocaml

46
Stars
5
Forks
Watchers

(Nominal) Adapton in OCaml

verified publisher icon plum-umd

adapton.racket

21
Stars
3
Forks
Watchers

Racket-based implementation of Adapton

verified publisher icon plum-umd

cgc

31
Stars
3
Forks
Watchers

Constructive Galois connections

verified publisher icon plum-umd

cmsc330-public

16
Stars
63
Forks
Watchers

Publicly visible materials for UMD course CMSC 330

verified publisher icon plum-umd

dexdump

16
Stars
9
Forks
Watchers

The dexdump tool

verified publisher icon plum-umd

fuzzing-benchmarks

19
Stars
11
Forks
Watchers

The collection of programs for evaluating fuzzing techniques

verified publisher icon plum-umd

java-sketch

19
Stars
8
Forks
Watchers

a Java front-end for Sketch synthesis tool

verified publisher icon plum-umd