webyrd Goto Github PK

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"

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

aikanren

miniKanren with Variational Inference

alphakanren

Nominal logic programming extensions to miniKanren, based on alphaProlog.

anti-unification

Functional implementation of anti-unification algorithm for multiple terms

automata-and-mutual-recursion

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

awesome-neural-geometry

A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond

barliman

Prototype smart text editor

bookstore_for_c203

Simple livecoded bookstore for C203

boston-clojure-group-talk

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

c203-errorbonus-infrastructure

Java code to help us grade the 'errorbonus' extra credit question on HW3.

cartesian-evalo

Cartesian product of multiple evalos

cato

Concatenative relational interpreter in miniKanren

cello

CellO: Gene expression-based hierarchical cell type classification using the Cell Ontology

chezscheme

Chez Scheme

ckanren

cleveralgorithms

Clever Algorithms: Nature-Inspired Programming Recipes

clpsmt-minikanren

CLP(SMT) on top of miniKanren

codefromthereasonedschemer2nded

Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic

codemesh2015

CodeMesh 2015 miniKanren talk

compositional-typing

computation-languages-and-research-an-idiosyncratic-view

'Computation, Languages, and Research: An Idiosyncratic View' by William E. Byrd

cool-relational-interpreter-examples

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

copyo

miniKanren with declarative copy term (copyo)

curnelo

Cur dependently-typed language in miniKanren.

cytochan

Cytogenetic Genomic Analysis in Racket

declarative-semantics

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

delsat

Answer Set and SAT Solver for probability distribution-aware model sampling and multimodel optimization using differentiable satisfiability

devilution

Diablo devolved - magic behind the 1996 computer game

differential-dataflow

An implementation of differential dataflow using timely dataflow on Rust.