Discover @webyrd Open Source projects

William E. Byrd (@webyrd)

webyrd

Stars
2,773
Global Rank 10,358 (Top 0.4 %)
Followers 736
Following 114
Registered over 12 years ago
Most used languages

Scheme
83.0 %

Racket
9.1 %

HTML
2.3 %

TeX
2.3 %

Clojure
2.3 %

Java
1.1 %
Location 🇺🇸 United States
Country Total Rank 3,746
Country Ranking

Scheme
2

Racket
13

TeX
314

Clojure
993

HTML
9,987

Barliman

Prototype smart text editor

mediKanren

Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

miniKanren-with-symbolic-constraints

Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.

miniKanren

Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.

quines

Relational interpreter in miniKanren that can generate quines

probKanren

Probabilistic miniKanren

dissertation-single-spaced

Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'

untitled-relational-interpreter-book

Relational Programming in miniKanren

miniKanren-uncourse

Code, wiki, and resources for the weekly miniKanren uncourse

relational-parsing-with-derivatives

Relational version of parsing with derivatives code

TAPL-in-miniKanren-cKanren-core.logic

Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic

webmk

miniKanren for interactive tutorials on the web

slpKanren

Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren

miniKanren-hangout-summaries

Summaries of intro and advanced miniKanren hangout series

linear-logic-multiset-rewriting

Logic for story telling!

alphaKanren

Nominal logic programming extensions to miniKanren, based on alphaProlog.

cato

Concatenative relational interpreter in miniKanren

relational-cesk

Relational implementation of the CESK machine

normalization-by-evaluation

Normalization-by-evaluation in miniKanren

anti-unification

Functional implementation of anti-unification algorithm for multiple terms

scheme-primer

Interactive Scheme Primer, written in Scheme.

hindley-milner-type-inferencer

Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.

curnelo

Cur dependently-typed language in miniKanren.

polyconf-2015

Resources from the Polyconf 2015 talk & relational interpreters workshop

cool-relational-interpreter-examples

Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work

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."

declarative-semantics

miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek.

wreckto-verseo

Experiments with the Verse Calculus in miniKanren

tree-automata

Tree-automata-based run-time type constraints for miniKanren

latticeKanren

lattice-based miniKanren, inspired by lambda-LVars

will-writes-books

summer-scheming

Summer Scheming!!!!!!

relational-interpreter-with-match

Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher

set-constraints

Stolzenburg-style set constraints

automata-and-mutual-recursion

Code from the Tutorial Thursday hangout of 2 May 2013 on using mutual-recursion to represent automata

stranger-loops-talk

Code from 'Strange Dreams of Stranger Loops' keynote for Strange Leoop 2021 (https://www.youtube.com/watch?v=AffW-7ika0E)

tabling

Tabling code for miniKanren. Only handles unification constraints, and has various limitations.

n-grams-for-synthesis

n-gram probabilities based on Lisp code, for directing search of the relational Scheme interpreter

Strange-Loop-2014

Program Synthesis in miniKanren

strange-loop-2013

Code from the 2013 Strange Loop talk with Dan Friedman, 'A Relational Exploration of the Chomsky Hierarchy'

Running-Backwards--Part-1

Interactive code from episode 1 of my 'Running Backwards' videos on relational programming.

relational-amb

A Relational Exploration of McCarthy's amb

mk-interp

miniKanren interpreter in Scheme

igors-turing-machine

Igor Wiedler's relational Turing Machine, ported from core.logic to miniKanren

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.

scheme-fun-hacking

Scheme Fun Hacking!

mk-metacircular-interp

meta-circular miniKanren interpreter

first-class-macros

First class macros, based on Matt Might's blog post http://matt.might.net/articles/metacircular-evaluation-and-first-class-run-time-macros/

relational-reactive-programming

Exploring interactive programming in miniKanren (Relational Reactive Programming)

underconstraints

Underconstraints for miniKanren

peano-challenge

A simple relational Scheme integer to peano translator, demonstrating finite domain constraints

relational-dfa

Relational deterministic finite automaton interpreter

mk-cps

Explorations of Continuation-Passing Style in miniKanren

CytoChan

Cytogenetic Genomic Analysis in Racket

simple-raytracer

Simple ray-tracer, adapted from section 9.8 of Paul Graham's 'ANSI Common Lisp', 1996, Prentice-Hall Inc.

Scheme-macros

Code from the `Scheme macros` episodes of `Will's Guide to Programming Languages, Programming, Computation, and What-Have-You`

symbolo-numbero-tests-for-core-logic

symbolo and numbero constraint tests for Clojure's core.logic

gentle-intro-to-mk

miniKanren code for a Gentle Intro to miniKanren tutorial

rnn-clojure

Recurrent Neural Net experiments on Clojure code

lambda-lounge-utah-mk-talk

Code from Lambda Lounge Utah talk on miniKanren, 13 May 02104

MU-puzzle

Hofstadter's MU puzzle in miniKanren

relational-unifier

Relational unifier, implemented in miniKanren

boston-clojure-group-talk

Code from my (virtual) talk for the Boston Clojure Group, 12 Feb 02015

elephantKanren

Experiments with Searle's Speach Acts/McCarthy's Elephant 2000

relational-interp-in-SMT

compositional-typing

miniKanren-miniCourse

Code and resources for the miniKanren miniCourse.

meta-circular-interp-in-mk

multi-quine

Generation of simple multi-language quines using relational interpreters for two Scheme-like languages.

cartesian-evalo

Cartesian product of multiple evalos

error-handling-relational-interpreter

Relational interpreter that explicitly represents errors, and can generate programs with specific errors

pcpo

Post Correspondence Problem in miniKanren

minikanren-playground

Extremely early prototype of an interactive programming assistant, based on the relational interpreter approach in miniKanren.

utah-minikanren-summer-school

Code and resources for the miniKanren summer school at University of Utah

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"

templateo

Experimenting with cKanren's new `templateo` constraint

relational-interpreter-with-set-bang

Relational Scheme interpreter, written in miniKanren, with set!, and supporting different evaluation orders

zoo

Resources for 'The CS Education Zoo' web show

mad-at-x

miniKanren take on adatx main example (https://github.com/LudoTheHUN/adatx)

KeySchem-ture

KeySchemæture: Scheme research implementation of Impro-Visor grammar-related algorithms

interleaving-small-step-evaluation

Playing with interleaving small-step evaluator for synthesis. With Michael Ballantyne.

miniKanren-pretty-printer

A super simple pretty printer for miniKanren, designed for live coding

copyo

miniKanren with declarative copy term (copyo)

typeo

Simple DSL for writing even simpler type inferencers

relational-sorting

Relational sorting in miniKanren. Collaborative coding experiment from miniKanren Uncourse #13.

mk-interpreter-with-term-size

miniKanren relational interpreter with term size argument

meta-interp

Playing with meta-interpreters in miniKanren

codemesh2015

CodeMesh 2015 miniKanren talk

dot_emacs

bookstore_for_C203

Simple livecoded bookstore for C203

more-schemelyer-relational-interpreter

Much Scheme! Such letrec!

imperishable-wonderland

An Imperishable Wonderland of Infinite Fun