Repositories list

• wavelet

  Public
  A formally verified compiler for asynchronous dataflow.

  Lean

  •0•0•0•0•Updated Mar 28, 2026Mar 28, 2026

• dvanhorn

  Public
  Webpage for DVH

  CSS

  •0•2•0•0•Updated Aug 25, 2025Aug 25, 2025

• cmsc330-public

  Public
  Publicly visible materials for UMD course CMSC 330

  Prolog

  •60•16•1•0•Updated Aug 12, 2025Aug 12, 2025

• QNP

  Public
  Quantum Natural Proof

  Coq

  •4•3•0•0•Updated Apr 22, 2025Apr 22, 2025

• java-sketch

  Public
  a Java front-end for Sketch synthesis tool

  Java

  •

  MIT License

  •7•20•5•1•Updated Jan 20, 2025Jan 20, 2025

• checkedc

  Public
  Contributions to Microsoft's Checked C project developed by PLUMmers

  Coq

  •8•11•1•0•Updated Dec 1, 2023Dec 1, 2023

• cmsc388q

  Public
  Course material for CMSC 388Q

  Racket

  •1•1•0•2•Updated Jun 13, 2023Jun 13, 2023

• QAM

  Public
  Quantum Abstract Machine

  Coq

  •0•1•0•0•Updated May 11, 2023May 11, 2023

• discord-utils

  Public
  Various discord things for running courses

  Python

  •1•0•0•0•Updated Feb 15, 2023Feb 15, 2023

• cmsc838e

  Public
  CMSC 838E Advanced Compilers

  Racket

  •0•1•0•0•Updated Feb 14, 2023Feb 14, 2023

• cmsc838e-old

  Public archive
  CMSC 838E Advanced Compilers

  Racket

  •33•1•0•0•Updated Jan 19, 2023Jan 19, 2023

• symphony-lang

  Public
  Haskell

  •

  MIT License

  •1•3•0•0•Updated Dec 29, 2022Dec 29, 2022

• oblivml

  Public
  A Language for Oblivious Computation

  OCaml

  •

  Other

  •0•6•5•0•Updated Oct 24, 2021Oct 24, 2021

• the-838e-compiler

  Public
  Compiler for CMSC 838E

  Racket

  •0•2•14•6•Updated May 22, 2021May 22, 2021

• redexer

  Public
  The Redexer binary instrumentation framework for Dalvik bytecode

  dynamic-analysisdalvikdex+ 1

  dynamic-analysisdalvikdexbytecode-manipulation

  Smali

  •

  Other

  •32•174•7•0•Updated May 20, 2021May 20, 2021

• cmsc631-hws

  Public
  CMSC631: Program Analysis and Understanding, Homework, Fall 2017

  HTML

  •1•0•0•0•Updated May 7, 2021May 7, 2021

• kenney-assets

  Public
  Game assets from Kenney

  0•0•0•0•Updated Dec 23, 2020Dec 23, 2020

• github-actions-rsync

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

  Shell

  •

  MIT License

  •69•0•0•0•Updated Nov 26, 2020Nov 26, 2020

• checkedc-eval-vsftpd

  Public
  C

  •

  Other

  •0•1•0•0•Updated Nov 23, 2020Nov 23, 2020

• bibifi-code

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

  Haskell

  •

  Other

  •7•4•19•1•Updated Nov 11, 2020Nov 11, 2020

• liquid-base

  Public
  Haskell

  •0•1•0•0•Updated Oct 12, 2020Oct 12, 2020

• sample-repo

  Public archive
  C

  •0•0•0•0•Updated Sep 18, 2020Sep 18, 2020

• oopsla2020-artifact

  Public
  Dockerfile

  •0•1•0•0•Updated Aug 8, 2020Aug 8, 2020

• c-strider

  Public
  C-Strider: Type-Aware Heap Traversal for C

  OCaml

  •

  Other

  •2•6•12•0•Updated Apr 18, 2020Apr 18, 2020

• checkedc-parson

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

  C

  •

  Other

  •9•0•0•0•Updated Apr 1, 2020Apr 1, 2020

• tech-plus-research-PBT

  Public
  Tech + Research project for property-based testing in Python

  Python

  •0•0•0•0•Updated Nov 7, 2019Nov 7, 2019

• checkedc-icecast

  Public
  C

  •

  GNU General Public License v2.0

  •0•1•0•0•Updated Sep 1, 2019Sep 1, 2019

• checkedc-icecast-common

  Public
  C

  •0•1•0•0•Updated Sep 1, 2019Sep 1, 2019

• checkedc-libtiff

  Public
  C

  •

  Other

  •0•1•0•0•Updated Aug 20, 2019Aug 20, 2019

• checkedc-libuv

  Public
  Cross-platform asynchronous I/O

  C

  •

  Other

  •3.9k•1•0•0•Updated Aug 20, 2019Aug 20, 2019