Skip to content

@plum-umd Programming Languages at University of Maryland

Change the repository type filter

All

    Repositories list

    82 repositories

    • wavelet

      Public
      A formally verified compiler for asynchronous dataflow.
      Lean
      •0•0•0•0•Updated Apr 16, 2026Apr 16, 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
      •59•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
      dynamic-analysisdalvikdexbytecode-manipulation
      Smali
      •
      Other
      •31•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
      •68•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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.