Programming Languages at University of Maryland

symphony-lang Public

Haskell 1 MIT 1 0 0 Updated Jan 21, 2022
checkedc Public
Contributions to Microsoft's Checked C project developed by PLUMmers

Coq 5 2 0 0 Updated Jan 18, 2022
java-sketch Public
a Java front-end for Sketch synthesis tool

Java 14 MIT 5 5 1 Updated Jan 17, 2022
oblivml Public
A Language for Oblivious Computation

OCaml 5 0 5 0 Updated Oct 24, 2021
dvanhorn Public
Webpage for DVH

CSS 2 0 0 0 Updated Oct 18, 2021
the-838e-compiler Public
Compiler for CMSC 838E

Racket 2 0 14 6 Updated May 22, 2021
redexer Public
The Redexer binary instrumentation framework for Dalvik bytecode

Smali 141 34 7 0 Updated May 20, 2021
cmsc631-hws Public
CMSC631: Program Analysis and Understanding, Homework, Fall 2017

HTML 0 1 0 0 Updated May 7, 2021
cmsc838e Public
CMSC 838E Advanced Compilers

Racket 1 10 0 0 Updated Feb 11, 2021
cmsc388q Public
Course material for CMSC 388Q

Racket 1 1 0 3 Updated Jan 24, 2021

Popular repositories