Pinned Repositories
2012-scheme-workshop-quines-paper-code
Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Interpreters."
Barliman
Prototype smart text editor
CodeFromTheReasonedSchemer2ndEd
Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
dissertation-single-spaced
Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
imperishable-wonderland
An Imperishable Wonderland of Infinite Fun
mediKanren
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
miniKanren
Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.
miniKanren-with-symbolic-constraints
Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
probKanren
Probabilistic miniKanren
quines
Relational interpreter in miniKanren that can generate quines
webyrd's Repositories
webyrd/Barliman
Prototype smart text editor
webyrd/mediKanren
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
webyrd/faster-miniKanren
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
webyrd/normalization-by-evaluation
Normalization-by-evaluation in miniKanren
webyrd/will-writes-books
webyrd/wreckto-verseo
Experiments with the Verse Calculus in miniKanren
webyrd/tree-automata
Tree-automata-based run-time type constraints for miniKanren
webyrd/imperishable-wonderland
An Imperishable Wonderland of Infinite Fun
webyrd/computation-languages-and-research-an-idiosyncratic-view
'Computation, Languages, and Research: An Idiosyncratic View' by William E. Byrd
webyrd/relational-amb
A Relational Exploration of McCarthy's amb
webyrd/underconstraints
Underconstraints for miniKanren
webyrd/Scheme-macros
Code from the `Scheme macros` episodes of `Will's Guide to Programming Languages, Programming, Computation, and What-Have-You`
webyrd/awesome-neural-geometry
A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond
webyrd/relational-alpha-equivalence-experiments
Experiments in alpha-equivalence, capture-avoiding-substitution, gensym, etc., all fully relational.
webyrd/clpset-environment-experiments
Experiments using set constraints (CLP(Set)) to represent environments in relational interpreters, etc.
webyrd/Silice
Silice is an open source language that simplifies prototyping and writing algorithms on FPGA architectures.
webyrd/syntax-case-experiments
Trying to become less n00b with hygienic macros, with the help of talented friends.
webyrd/aiKanren
miniKanren with Variational Inference
webyrd/am
Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977
webyrd/ChezScheme
Chez Scheme
webyrd/clpset-miniKanren
CLP(Set) in miniKanren
webyrd/EURISKO
webyrd/jetisu
Jetisu is a toolset for modelling with intensionally defined relations.
webyrd/llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
webyrd/MarkovJunior
Probabilistic PL based on pattern matching and constraint propagation, 148 examples
webyrd/mkcdcl
miniKanren with conflict-driven clause learning using a SAT solver
webyrd/mo
webyrd/probKanren-3
probKanren paper and implementation
webyrd/soas-quine
Generating quines via E-unification for second-order abstact syntax.
webyrd/www
CMSC 430 Design and Implementation of Programming Langauges