@JHU-PL-Lab
  • Stars
    star
    65
  • Global Org. Rank 70,717 (Top 23 %)
  • Registered over 9 years ago
  • Most used languages
    OCaml
    86.7 %
    Scheme
    13.3 %

Top repositories

1

jaylang

An implementation of DDSE: a demand-driven symbolic evaluator.
OCaml
10
star
2

odefa-proof-of-concept

Proof of concept of DDPA, a form of program analysis
OCaml
7
star
3

big-bang

Big Bang source repository
OCaml
6
star
4

whayrf

Proof-of-concept implementation of function patterns
OCaml
5
star
5

dde

Pure Demand Operational Semantics
OCaml
5
star
6

sato

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

odefa

An ARCHIVED implementation of DDPA and related program analyses. This repository was split into separate projects when it became apparent that the related analyses would not be merged back into the DDPA branch. See the "ddpa", "ddse", and "sato" repositories in this organization.
Scheme
4
star
8

pdr-programming

A metaprogramming library which generates regular PDS descriptions based upon user-written straight-line code.
OCaml
3
star
9

layout-types

Layout Type Theory
OCaml
3
star
10

toy-language-dr

A derivative of the toy-language repository which has "proper" deep records rather than shallow records.
OCaml
3
star
11

CoPylot

Experimental repository for the application of DDPA-like analysis to a subset of Python.
OCaml
3
star
12

pds-reachability

A library for performing efficient reachability queries on abstractly specified push-down systems.
OCaml
3
star
13

ddpa

An implementation of DDPA, a higher-order demand-driven program analysis.
Scheme
3
star
14

jhupllib

An OCaml library of common tools and utilities.
OCaml
3
star
15

toy-language

A common basis for toy language development using a simple, shallow ANF
OCaml
3
star