Explore @plum-umd Open Source projects

Programming Languages at University of Maryland (@plum-umd)

plum-umd

Stars
668
Global Org. Rank 19,989 (Top 7 %)
Registered over 12 years ago
Most used languages

C
15.6 %

Racket
13.3 %

Haskell
11.1 %

OCaml
11.1 %

Java
8.9 %

Ruby
8.9 %

TeX
6.7 %

Coq 6.7 %

JavaScript
2.2 %

Agda 2.2 %

M4 2.2 %

Dockerfile
2.2 %

Python
2.2 %

Scala
2.2 %

Smali 2.2 %

CSS
2.2 %
Location 🇺🇸 United States
Country Total Rank 12,118
Country Ranking

Smali 5

Agda 9

Coq 51

M4 66

Racket
71

OCaml
98

TeX
265

Haskell
638

Ruby
1,971

Scala
2,666

C
3,339

Java
3,380

Dockerfile
4,311

redexer

The Redexer binary instrumentation framework for Dalvik bytecode

rtc

abstracting-definitional-interpreters

Abstracting Definitional Interpreters

adapton.ocaml

(Nominal) Adapton in OCaml

cgc

Constructive Galois connections

rubah

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

adapton.racket

Racket-based implementation of Adapton

java-sketch

a Java front-end for Sketch synthesis tool

fuzzing-benchmarks

The collection of programs for evaluating fuzzing techniques

troyd

Troyd: Integration Testing for Android

adapton

Adapton Project Homepage

dexdump

The dexdump tool

cmsc330-public

Publicly visible materials for UMD course CMSC 330

pasket

Synthesizing Framework Models for Symbolic Execution

fundamentals

Systematic Program Design I & II

checkedc

Contributions to Microsoft's Checked C project developed by PLUMmers

parsing-with-derivatives

kvolve

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

systematic-abstraction

Code from the paper "Systematic Abstraction of Abstract Machines"

c-strider

C-Strider: Type-Aware Heap Traversal for C

oblivml

A Language for Oblivious Computation

inc-imp

An incremental IMP interpreter, built using Adapton.

bibifi-code

Source code for the Build-it Break-it Fix-it competition's infrastructure.

adaptive-concretization

Adaptive Concretization for Parallel Program Synthesis

QNP

Quantum Natural Proof

symphony-lang

the-838e-compiler

Compiler for CMSC 838E

qif

contract-corpus

Corpus of programs with contracts

android-intents

Bree and Kris' work on the 828x project

dvanhorn

Webpage for DVH

JANA

Java Numeric ANalysis

oopsla2020-artifact

checkedc-icecast-m4

plumlib.ocaml

Useful stuff for OCaml programs

checkedc-libtiff

android-callback

Android Callback

lmonad-meta

checkedc-eval-vsftpd

cmsc838e

CMSC 838E Advanced Compilers

checkedc-icecast

liquid-base

webpage

The PLUM webpage

checkedc-icecast-common

cmsc388q

Course material for CMSC 388Q

QAM

Quantum Abstract Machine