Projects in Awesome Lists by JHU-PL-Lab
A curated list of projects in awesome lists by JHU-PL-Lab .
https://github.com/jhu-pl-lab/jaylang
An implementation of semantic-type-guided bug finding
Last synced: 06 Mar 2026
https://github.com/jhu-pl-lab/dde
Pure Demand Operational Semantics
abstract-interpretation coq interpreter ocaml operational-semantics program-analysis
Last synced: 15 Jun 2025
https://github.com/jhu-pl-lab/sato
Sato, the Symbolic Analysis Typechecker for Odefa, dynamically locates type errors using demand-driven symbolic execution.
Last synced: 09 Mar 2026
https://github.com/jhu-pl-lab/pds-reachability
A library for performing efficient reachability queries on abstractly specified push-down systems.
Last synced: 23 Feb 2025
https://github.com/jhu-pl-lab/jhupllib
An OCaml library of common tools and utilities.
Last synced: 24 Oct 2025
https://github.com/jhu-pl-lab/ddpa
An implementation of DDPA, a higher-order demand-driven program analysis.
Last synced: 19 Mar 2026
https://github.com/jhu-pl-lab/representation-types
Representation Types Implementation
Last synced: 31 Jul 2025