Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
Prototype smart text editor
Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Interpreters."
Forked from TheReasonedSchemer2ndEd/CodeFromTheReasonedSchemer2ndEd
Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
Forked from michaelballantyne/faster-minikanren
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
Seeing something unexpected? Take a look at the
GitHub profile guide.