webyrd Goto Github PK

relational-interpreter-with-match

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

relational-interpreter-with-set-bang

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

relational-parsing-with-derivatives

Relational version of parsing with derivatives code

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.

relational-reactive-programming

Exploring interactive programming in miniKanren (Relational Reactive Programming)

relational-sorting

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

relational-unifier

Relational unifier, implemented in miniKanren

rhea.rkt

Racket bindings for the Rhea constraint solver

rnn-clojure

Recurrent Neural Net experiments on Clojure code

rosalindproject_bioinformatics

Learning Bioinformatics with Scheme/Racket programming applied to Rosalind Project Problem Sets

running-backwards--part-1

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

scheme-fun-hacking

Scheme Fun Hacking!

scheme-primer

Interactive Scheme Primer, written in Scheme.

set-constraints

Stolzenburg-style set constraints

sfpw2018

simple-raytracer

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

slpkanren

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

softwaredesignforflexibility

staged-minikanren

explorations of multi-stage logic programming in miniKanren

strange-loop-2013

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

strange-loop-2014

Program Synthesis in miniKanren

stranger-loops-talk

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

summer-scheming

Summer Scheming!!!!!!

syllogistic-provers

symbolo-numbero-tests-for-core-logic

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

tabling

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

tapl-in-minikanren-ckanren-core.logic

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

templateo

Experimenting with cKanren's new `templateo` constraint

the-little-schemer

All the Scheme code examples from the book "The Little Schemer"

tree-automata

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