JHU-PL-Lab

caprice-lang Public
Semantic type refutation

JHU-PL-Lab/caprice-lang's past year of commit activity

OCaml 3 MIT 2 3 1 Updated Oct 2, 2026
www-fpse Public

JHU-PL-Lab/www-fpse's past year of commit activity

HTML 0 0 0 0 Updated Sep 30, 2026
tyto Public Forked from JHU-PL-Lab/jaylang
An implementation of semantic-type-guided bug finding

JHU-PL-Lab/tyto's past year of commit activity

OCaml 0 MIT 5 0 0 Updated Sep 9, 2026
tola Public

JHU-PL-Lab/tola's past year of commit activity

OCaml 0 0 0 0 Updated Aug 30, 2026
www-pl Public

JHU-PL-Lab/www-pl's past year of commit activity

HTML 0 1 0 0 Updated Apr 30, 2026
jaylang Public
An implementation of semantic-type-guided bug finding

JHU-PL-Lab/jaylang's past year of commit activity

OCaml 10 MIT 5 5 0 Updated Mar 22, 2026
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-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 3 0 0 0 Updated Oct 18, 2023

Navigation Menu