webyrd/igors-turing-machine
Igor Wiedler's relational Turing Machine, ported from core.logic to miniKanren
Developer Profile
webyrd
Discovered public repositories for webyrd in the GitHub catalog.
webyrd/mad-at-x
miniKanren take on adatx main example (https://github.com/LudoTheHUN/adatx)
webyrd/strange-loop-2013
Code from the 2013 Strange Loop talk with Dan Friedman, 'A Relational Exploration of the Chomsky Hierarchy'
webyrd/MU-puzzle
Hofstadter's MU puzzle in miniKanren
webyrd/gentle-intro-to-mk
miniKanren code for a Gentle Intro to miniKanren tutorial
webyrd/set-constraints
Stolzenburg-style set constraints
webyrd/symbolo-numbero-tests-for-core-logic
symbolo and numbero constraint tests for Clojure's core.logic
webyrd/korhal-starter
Korhal Starter Kit
webyrd/pcpo
Post Correspondence Problem in miniKanren
webyrd/alphaKanren
Nominal logic programming extensions to miniKanren, based on alphaProlog.
webyrd/korhal
SC:BW Terran AI using JNIBWAPI and Clojure
webyrd/Running-Backwards--Part-1
Interactive code from episode 1 of my 'Running Backwards' videos on relational programming.
webyrd/peano-challenge
A simple relational Scheme integer to peano translator, demonstrating finite domain constraints
webyrd/copyo
miniKanren with declarative copy term (copyo)
webyrd/webmk
miniKanren for interactive tutorials on the web
webyrd/anti-unification
Functional implementation of anti-unification algorithm for multiple terms
webyrd/mk-cps
Explorations of Continuation-Passing Style in miniKanren
webyrd/typeo
Simple DSL for writing even simpler type inferencers
webyrd/meta-interp
Playing with meta-interpreters in miniKanren
webyrd/templateo
Experimenting with cKanren's new `templateo` constraint
webyrd/dot_emacs
My .emacs file
webyrd/untitled-relational-interpreter-book
Relational Programming in miniKanren
webyrd/mk-metacircular-interp
meta-circular miniKanren interpreter
webyrd/mk-interp
miniKanren interpreter in Scheme
webyrd/relational-dfa
Relational deterministic finite automaton interpreter
webyrd/automata-and-mutual-recursion
Code from the Tutorial Thursday hangout of 2 May 2013 on using mutual-recursion to represent automata
webyrd/relational-unifier
Relational unifier, implemented in miniKanren
webyrd/relational-cesk
Relational implementation of the CESK machine
webyrd/latticeKanren
lattice-based miniKanren, inspired by lambda-LVars
webyrd/relational-progress-sensitive-security
Relational implementation of type system and semantics from "Precise Enforcement of Progress-Sensitive Security" by Moore, Askarov, and Chong, CCS'12.
webyrd/KeySchem-ture
KeySchemæture: Scheme research implementation of Impro-Visor grammar-related algorithms
webyrd/miniKanren-miniCourse
Code and resources for the miniKanren miniCourse.
webyrd/slpKanren
Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
webyrd/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."
webyrd/2011-scheme-workshop-quines-paper-code
Code from the 2011 Scheme Workshop Paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Interpreters"
webyrd/miniKanren-pretty-printer
A super simple pretty printer for miniKanren, designed for live coding
webyrd/relational-parsing-with-derivatives
Relational version of parsing with derivatives code
webyrd/quines
Relational interpreter in miniKanren that can generate quines
webyrd/miniKanren
Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.
webyrd/cKanren
Public repository.
webyrd/TAPL-in-miniKanren-cKanren-core.logic
Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic