EDJ's repositories
fo-mKanren-to-LF
Defunctionalized miniKanren with Universal Quantifier and Implication. Preprint: https://www.cs.toronto.edu/~lczhang/jin_universal2021.pdf
DKXXXL.github.io
Blog
best-resume-ever
:necktie: :briefcase: Build fast :rocket: and easy multiple beautiful resumes and create your best CV ever! Made with Vue and LESS.
Language:VueMIT000
Language:CoqNOASSERTION000
FullStackLearning
Full Stack Learning Experience
master-thesis
http://hdl.handle.net/10012/19531
Language:TeX000
metaocaml-bibliography
MetaML and MetaOCaml bibliography
popl2018-papers
Link to preprints for POPL'18 and colocated events
ppa-in-code
some my implementation of content in PPA
SoftwareFoundations-AfterCh15
Code Exercises after Ch15, from "Software Foundations"
Language:CoqMIT000
webBug.backup
a web crawler.