plum-umd/cmsc330-public plum-umd/cmsc330-public

  • Stars
    star
    16
  • Rank 1,285,254 (Top 26 %)
  • Language
    JavaScript
  • Created over 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
plum-umd/cmsc330-public
github

plum-umd

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Publicly visible materials for UMD course CMSC 330

More Repositories

1

redexer

The Redexer binary instrumentation framework for Dalvik bytecode
Smali
157
star
2

rtc

Ruby
84
star
3

abstracting-definitional-interpreters

Abstracting Definitional Interpreters
TeX
65
star
4

adapton.ocaml

(Nominal) Adapton in OCaml
OCaml
46
star
5

cgc

Constructive Galois connections
Agda
31
star
6

rubah

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

adapton.racket

Racket-based implementation of Adapton
Racket
21
star
8

java-sketch

a Java front-end for Sketch synthesis tool
Java
19
star
9

fuzzing-benchmarks

The collection of programs for evaluating fuzzing techniques
C
19
star
10

troyd

Troyd: Integration Testing for Android
Ruby
19
star
11

adapton

Adapton Project Homepage
16
star
12

dexdump

The dexdump tool
C
16
star
13

pasket

Synthesizing Framework Models for Symbolic Execution
Java
15
star
14

fundamentals

Systematic Program Design I & II
Racket
13
star
15

checkedc

Contributions to Microsoft's Checked C project developed by PLUMmers
Coq
11
star
16

parsing-with-derivatives

TeX
10
star
17

kvolve

KVolve: an extension to the popular Redis database, to support the evolution of high-availability applications and their data online.
C
9
star
18

systematic-abstraction

Code from the paper "Systematic Abstraction of Abstract Machines"
Haskell
8
star
19

c-strider

C-Strider: Type-Aware Heap Traversal for C
OCaml
6
star
20

oblivml

A Language for Oblivious Computation
OCaml
6
star
21

inc-imp

An incremental IMP interpreter, built using Adapton.
OCaml
5
star
22

bibifi-code

Source code for the Build-it Break-it Fix-it competition's infrastructure.
Haskell
5
star
23

adaptive-concretization

Adaptive Concretization for Parallel Program Synthesis
Python
3
star
24

QNP

Quantum Natural Proof
Coq
3
star
25

symphony-lang

Haskell
3
star
26

the-838e-compiler

Compiler for CMSC 838E
Racket
2
star
27

qif

TeX
2
star
28

contract-corpus

Corpus of programs with contracts
Racket
2
star
29

android-intents

Bree and Kris' work on the 828x project
Ruby
2
star
30

dvanhorn

Webpage for DVH
CSS
2
star
31

JANA

Java Numeric ANalysis
Scala
2
star
32

checkedc-icecast-m4

M4
1
star
33

plumlib.ocaml

Useful stuff for OCaml programs
OCaml
1
star
34

checkedc-libtiff

C
1
star
35

android-callback

Android Callback
Java
1
star
36

lmonad-meta

Haskell
1
star
37

checkedc-eval-vsftpd

C
1
star
38

cmsc838e

CMSC 838E Advanced Compilers
Racket
1
star
39

oopsla2020-artifact

Dockerfile
1
star
40

checkedc-icecast

C
1
star
41

liquid-base

Haskell
1
star
42

webpage

The PLUM webpage
Ruby
1
star
43

checkedc-icecast-common

C
1
star
44

cmsc388q

Course material for CMSC 388Q
Racket
1
star
45

QAM

Quantum Abstract Machine
Coq
1
star