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

Programming Languages at University of Maryland

plum-umd

Geek Repo

Location:College Park, MD

Home Page:http://ter.ps/plum

Twitter:@plumlab

Github PK Tool:Github PK Tool

Programming Languages at University of Maryland's repositories

redexer

The Redexer binary instrumentation framework for Dalvik bytecode

Language:SmaliLicense:NOASSERTIONStargazers:161Issues:34Issues:29

java-sketch

a Java front-end for Sketch synthesis tool

Language:JavaLicense:MITStargazers:19Issues:29Issues:10

checkedc

Contributions to Microsoft's Checked C project developed by PLUMmers

Language:CoqStargazers:11Issues:18Issues:1

c-strider

C-Strider: Type-Aware Heap Traversal for C

Language:OCamlLicense:NOASSERTIONStargazers:6Issues:21Issues:12

oblivml

A Language for Oblivious Computation

Language:OCamlLicense:NOASSERTIONStargazers:6Issues:6Issues:9

bibifi-code

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

Language:HaskellLicense:NOASSERTIONStargazers:4Issues:22Issues:34

QNP

Quantum Natural Proof

Language:CoqLicense:MITStargazers:3Issues:12Issues:0

symphony-lang

Language:HaskellLicense:MITStargazers:3Issues:14Issues:0

dvanhorn

Webpage for DVH

Language:CSSStargazers:2Issues:17Issues:0

the-838e-compiler

Compiler for CMSC 838E

Language:RacketStargazers:2Issues:14Issues:26

checkedc-eval-vsftpd

Language:CLicense:NOASSERTIONStargazers:1Issues:17Issues:0

checkedc-icecast

Language:CLicense:GPL-2.0Stargazers:1Issues:13Issues:0

checkedc-icecast-common

Language:CStargazers:1Issues:15Issues:0

checkedc-icecast-m4

Language:M4Stargazers:1Issues:15Issues:0

checkedc-libtiff

Language:CLicense:NOASSERTIONStargazers:1Issues:14Issues:0

checkedc-libuv

Cross-platform asynchronous I/O

Language:CLicense:NOASSERTIONStargazers:1Issues:2Issues:0

cmsc388q

Course material for CMSC 388Q

Language:RacketStargazers:1Issues:17Issues:0

cmsc838e

CMSC 838E Advanced Compilers

Language:RacketStargazers:1Issues:10Issues:0

cmsc838e-old

CMSC 838E Advanced Compilers

Language:RacketStargazers:1Issues:2Issues:0

liquid-base

Language:HaskellStargazers:1Issues:14Issues:0

oopsla2020-artifact

Language:DockerfileStargazers:1Issues:11Issues:3

QAM

Quantum Abstract Machine

Language:CoqStargazers:1Issues:12Issues:0

433-www

The website for CMSC433

Language:HaskellStargazers:0Issues:13Issues:0

checkedc-parson

This is modified version of parson that uses the Checked C extension to C. Parson is a lightweight json parsing library.

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

cmsc631-hws

CMSC631: Program Analysis and Understanding, Homework, Fall 2017

Language:HTMLStargazers:0Issues:14Issues:0

discord-utils

Various discord things for running courses

Language:PythonStargazers:0Issues:13Issues:0

github-actions-rsync

⚙️A GitHub Action for deploying code via rsync over SSH

Language:ShellLicense:MITStargazers:0Issues:2Issues:0

kenney-assets

Game assets from Kenney

Stargazers:0Issues:12Issues:0

sample-repo

Language:CStargazers:0Issues:2Issues:0

tech-plus-research-PBT

Tech + Research project for property-based testing in Python

Language:PythonStargazers:0Issues:14Issues:0