webyrd
Follow
-
University of Alabama at Birmingham
- Cambridge, MA
- http://www.webyrd.net
Block or Report
Block or report webyrd
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
dissertation-single-spaced
dissertation-single-spaced PublicSingle-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
-
2012-scheme-workshop-quines-paper-code
2012-scheme-workshop-quines-paper-code PublicCode from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Interpreters."
-
CodeFromTheReasonedSchemer2ndEd
CodeFromTheReasonedSchemer2ndEd PublicForked from TheReasonedSchemer2ndEd/CodeFromTheReasonedSchemer2ndEd
Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
Scheme 5
-
mediKanren
mediKanren PublicProof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
-
imperishable-wonderland
imperishable-wonderland PublicAn Imperishable Wonderland of Infinite Fun
Makefile 10
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.