Programming Languages at University of Maryland

Repositories

• checkedc-eval-vsftpd
  C 0 0 0 0 Updated Nov 4, 2020

• redexer

  The Redexer binary instrumentation framework for Dalvik bytecode

  dynamic-analysis dalvik dex bytecode-manipulation
  OCaml 32 137 8 0 Updated Oct 30, 2020

• java-sketch

  a Java front-end for Sketch synthesis tool
  Java MIT 4 13 6 1 Updated Oct 16, 2020

• checkedc

  Contributions to Microsoft's Checked C project developed by PLUMmers
  Coq 1 4 0 0 Updated Oct 14, 2020

• liquid-base
  Haskell 0 1 0 0 Updated Oct 12, 2020

• dvanhorn

  Webpage for DVH
  CSS 0 2 0 0 Updated Sep 23, 2020

• sample-repo Archived

  Forked from correctcomputation/sample-repo
  C 1 0 0 0 Updated Sep 18, 2020

• oopsla2020-artifact
  Dockerfile 0 0 1 0 Updated Aug 8, 2020

• oblivml

  A Language for Oblivious Computation
  OCaml 0 3 5 0 Updated Jul 13, 2020

• bibifi-code

  Source code for the Build-it Break-it Fix-it competition's infrastructure.
  Haskell 4 3 17 1 Updated May 14, 2020

• c-strider

  C-Strider: Type-Aware Heap Traversal for C
  OCaml 2 6 12 0 Updated Apr 18, 2020

• checkedc-parson

  Forked from microsoft/checkedc-parson

  This is modified version of parson that uses the Checked C extension to C. Parson is a lightweight json parsing library.
  C 7 0 0 0 Updated Apr 1, 2020

• tech-plus-research-PBT

  Tech + Research project for property-based testing in Python
  Python 0 0 0 0 Updated Nov 7, 2019

• checkedc-icecast
  C GPL-2.0 0 0 0 0 Updated Sep 1, 2019

• checkedc-icecast-common
  C 0 0 0 0 Updated Sep 1, 2019

• checkedc-libtiff
  C 0 0 0 0 Updated Aug 20, 2019

• checkedc-libuv

  Forked from libuv/libuv

  Cross-platform asynchronous I/O
  C 2,607 0 0 0 Updated Aug 20, 2019

• checkedc-icecast-m4
  M4 0 0 0 0 Updated Aug 1, 2019

• fundamentals

  Systematic Program Design I & II
  Racket AFL-3.0 1 10 0 0 Updated Jul 26, 2019

• 2htdp-extras

  Extra functionality for HTDP programs
  Racket 0 0 0 0 Updated Jul 25, 2019

• PLGradSchools

  Forked from LeifAndersen/PLGradSchools
  29 0 0 0 Updated Jul 6, 2019

• adapton.racket

  Racket-based implementation of Adapton
  Racket 2 16 1 1 Updated Jun 29, 2019

• JANA

  Java Numeric ANalysis
  Scala 2 1 0 0 Updated Jun 3, 2019

• adaptive-concretization

  Adaptive Concretization for Parallel Program Synthesis
  Python MIT 1 2 0 1 Updated Mar 31, 2019

• lmonad-meta
  Haskell 1 1 5 1 Updated Feb 20, 2019

• webpage

  The PLUM webpage
  Ruby 2 1 0 0 Updated Sep 28, 2018

• soft-contract

  Forked from philnguyen/soft-contract

  A prototype of soft contract verification for an untyped functional language
  Racket 9 1 0 0 Updated Apr 24, 2018

• redex-aam-tutorial

  Forked from dvanhorn/redex-aam-tutorial

  An Introduction to Redex with Abstracting Abstract Machines
  Racket AFL-3.0 12 0 0 0 Updated Apr 15, 2018

• cgc

  Constructive Galois connections
  Agda 2 20 0 0 Updated Mar 26, 2018

• fuzzing-benchmarks

  The collection of programs for evaluating fuzzing techniques
  C 8 18 1 0 Updated Nov 27, 2017