Language Breakdown
Lines of code distribution across 6 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in Scheme
Collaboration Network
Global Impact visualization
Repos
12
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Not following anyone yet.
Top Repositories
Canonical miniKanren implementation
Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
Canonical miniKanren implementation in Racket
Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.
Oleg Kiselyov's minimal implementation of logic programming
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
Files for the miniKanren.org website. If you would like to update the site, please do so and send a pull request!
Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
Open Source Impact
Contributions to external projects
No external contributions found.