William E. Byrd
@webyrdLanguage Breakdown
Lines of code distribution across 108 owned repositories
T-Shaped Developer
T-shapedDeep in Scheme with broad versatility
Collaboration Network
Global Impact visualization
Repos
227
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Abdulaziz Ghuloum
@azizghuloum
Yota Toyama
@raviqqe
Hiroshi Sakurai
@hsk
Massimiliano Ghilardi
@cosmos72
k2on
@k2on
Top Repositories
Prototype smart text editor
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.
Relational interpreter in miniKanren that can generate quines
Probabilistic miniKanren
Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
Code, wiki, and resources for the weekly miniKanren uncourse
Relational Programming in miniKanren
Relational version of parsing with derivatives code
Open Source Impact
Contributions to external projects
