Geeks
JHU-PL-Lab
/
jaylang
An implementation of DDSE: a demand-driven symbolic evaluator.
Primary Language
OCaml
MIT License
MIT
jaylang GitHub
Markdown
Readme
2
Issues
9
Stargazers
10
Watchers
Stargazers
smondet
New York, NY
smorimoto
Cambridge, UK / Tokyo, Japan
Lw-Cui
oceanlau
Kraks
mengjianwei12345
江苏省南京市栖霞区仙林大道
robertzhidealx
Austin, TX
brandonzstride