Skip to content
@JHU-PL-Lab

JHU-PL-Lab

Pinned Loading

  1. jaylang jaylang Public

    An implementation of DDSE: a demand-driven symbolic evaluator.

    OCaml 9 1

  2. dde dde Public

    Pure Demand Operational Semantics

    OCaml 5

Repositories

Showing 10 of 21 repositories
  • www-pl Public
    JHU-PL-Lab/www-pl’s past year of commit activity
    HTML 0 0 0 0 Updated Jan 22, 2025
  • jaylang Public

    An implementation of DDSE: a demand-driven symbolic evaluator.

    JHU-PL-Lab/jaylang’s past year of commit activity
    OCaml 9 MIT 1 0 0 Updated Jan 21, 2025
  • www-pl-lab Public
    JHU-PL-Lab/www-pl-lab’s past year of commit activity
    Ruby 0 0 0 0 Updated Dec 13, 2024
  • www-fpse Public
    JHU-PL-Lab/www-fpse’s past year of commit activity
    HTML 0 0 0 0 Updated Nov 18, 2024
  • www-pl2 Public
    JHU-PL-Lab/www-pl2’s past year of commit activity
    TeX 0 0 0 0 Updated Aug 16, 2024
  • dde Public

    Pure Demand Operational Semantics

    JHU-PL-Lab/dde’s past year of commit activity
    OCaml 5 CC-BY-SA-4.0 0 0 0 Updated Apr 17, 2024
  • pds-reachability Public

    A library for performing efficient reachability queries on abstractly specified push-down systems.

    JHU-PL-Lab/pds-reachability’s past year of commit activity
    OCaml 2 0 0 0 Updated Oct 18, 2023
  • ddpa Public

    An implementation of DDPA, a higher-order demand-driven program analysis.

    JHU-PL-Lab/ddpa’s past year of commit activity
    Scheme 2 0 0 0 Updated Oct 13, 2023
  • jhupllib Public

    An OCaml library of common tools and utilities.

    JHU-PL-Lab/jhupllib’s past year of commit activity
    OCaml 2 Apache-2.0 0 0 0 Updated Oct 13, 2023
  • sato Public

    Sato, the Symbolic Analysis Typechecker for Odefa, dynamically locates type errors using demand-driven symbolic execution.

    JHU-PL-Lab/sato’s past year of commit activity
    OCaml 3 0 0 0 Updated Nov 18, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…