Geeks
namin
/
staged-miniKanren
staged relational interpreters: running with holes, faster
Primary Language
Racket
staged-miniKanren GitHub
Markdown
Readme
5
Issues
124
Stargazers
13
Watchers
Watchers
ahuoguo
Tufts University
brandonwillard
.txt
eemailme
jhcloos
Josh-Tilles
michaelballantyne
@nuprl
mpickering
Well Typed LLP
namin
Harvard University
rodlogic
TiarkRompf
Faculty at Purdue University
tokomikea
Taiwan
webyrd
University of Alabama at Birmingham
wrq