There are no reviews yet. Be the first to send feedback to the community and the maintainers!
lvar-examples
Programming with LVars, by examplerust-redex
A PLT Redex model of a toy language that is almost, but not quite, entirely unlike RustCSE290Q-2019-09
A graduate seminar on SMT solving and solver-aided systemsdissertation
Exactly what it says on the tin.CMPS290S-2018-09
A graduate seminar on languages and abstractions for distributed programmingCSE232-2021-09
A graduate course on distributed systemsCSE232-2020-10
A graduate course on distributed systemslvar-semantics
PLT Redex models of LVar calculiCSE232-2024-09
A graduate course on distributed systemsfandomized-algorithms
A paper for SIGBOVIK 2013icfp2020-captions
lvar-race-detector
lambdaLVar-redex
A PLT Redex model of the lambdaLVar languageweekly-reports
What I did every week for the last year of my Ph.D.CSE232-2023-09
A graduate course on distributed systemsaw
The littlest interpreter for the littlest languageaddon-playground
A collection of toy and proof-of-concept Firefox add-ons.composition.al-notebooks
Jupyter notebooks to accompany composition.al postsrelational-research
IUCS Relational ResearchLove Open Source and this site? Check out how you can help us