Discover webyrd/declarative-semantics Open Source project

Stars
14
Rank 1,438,076 (Top 29 %)
Language
Scheme
License
MIT License
Created over 7 years ago
Updated almost 7 years ago

webyrd

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

Barliman

Prototype smart text editor

Scheme

1,043

mediKanren

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

Racket

324

miniKanren-with-symbolic-constraints

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

Scheme

159

miniKanren

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

Scheme

131

quines

Relational interpreter in miniKanren that can generate quines

Scheme

129

probKanren

Probabilistic miniKanren

Scheme

dissertation-single-spaced

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

TeX

untitled-relational-interpreter-book

Relational Programming in miniKanren

Scheme

miniKanren-uncourse

Code, wiki, and resources for the weekly miniKanren uncourse

Scheme

relational-parsing-with-derivatives

Relational version of parsing with derivatives code

Scheme

TAPL-in-miniKanren-cKanren-core.logic

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

Scheme

webmk

miniKanren for interactive tutorials on the web

Scheme

slpKanren

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

Scheme

linear-logic-multiset-rewriting

Logic for story telling!

Scheme

miniKanren-hangout-summaries

Summaries of intro and advanced miniKanren hangout series

Scheme

alphaKanren

Nominal logic programming extensions to miniKanren, based on alphaProlog.

Scheme

cato

Concatenative relational interpreter in miniKanren

Scheme

relational-cesk

Relational implementation of the CESK machine

Scheme

normalization-by-evaluation

Normalization-by-evaluation in miniKanren

Scheme

scheme-primer

Interactive Scheme Primer, written in Scheme.

Scheme

anti-unification

Functional implementation of anti-unification algorithm for multiple terms

Scheme

hindley-milner-type-inferencer

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

Scheme

curnelo

Cur dependently-typed language in miniKanren.

Scheme

polyconf-2015

Resources from the Polyconf 2015 talk & relational interpreters workshop

Scheme

wreckto-verseo

Experiments with the Verse Calculus in miniKanren

Scheme

cool-relational-interpreter-examples

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

Scheme

tree-automata

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

Racket

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

Scheme

will-writes-books

latticeKanren

lattice-based miniKanren, inspired by lambda-LVars

Scheme

summer-scheming

Summer Scheming!!!!!!

Scheme

set-constraints

Stolzenburg-style set constraints

Scheme

relational-interpreter-with-match

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

Scheme

automata-and-mutual-recursion

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

Scheme

stranger-loops-talk

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

Scheme

tabling

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

Scheme

imperishable-wonderland

An Imperishable Wonderland of Infinite Fun

Makefile

n-grams-for-synthesis

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

Scheme

Strange-Loop-2014

Program Synthesis in miniKanren

Scheme

relational-amb

A Relational Exploration of McCarthy's amb

Scheme

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

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

Makefile

Running-Backwards--Part-1

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

Scheme

strange-loop-2013

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

Scheme

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

mk-interp

miniKanren interpreter in Scheme

Scheme

igors-turing-machine

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

Scheme

scheme-fun-hacking

Scheme Fun Hacking!

Scheme

mk-metacircular-interp

meta-circular miniKanren interpreter

Scheme

relational-reactive-programming

Exploring interactive programming in miniKanren (Relational Reactive Programming)

Scheme

underconstraints

Underconstraints for miniKanren

HTML

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/

Scheme

peano-challenge

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

Scheme

relational-dfa

Relational deterministic finite automaton interpreter

mk-cps

Explorations of Continuation-Passing Style in miniKanren

Scheme

CytoChan

Cytogenetic Genomic Analysis in Racket

Racket

simple-raytracer

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

Racket

symbolo-numbero-tests-for-core-logic

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

Clojure

gentle-intro-to-mk

miniKanren code for a Gentle Intro to miniKanren tutorial

Scheme

rnn-clojure

Recurrent Neural Net experiments on Clojure code

Clojure

lambda-lounge-utah-mk-talk

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

Scheme

MU-puzzle

Hofstadter's MU puzzle in miniKanren

Scheme

relational-unifier

Relational unifier, implemented in miniKanren

Scheme

Scheme-macros

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

Scheme

boston-clojure-group-talk

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

Scheme

elephantKanren

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

Scheme

relational-interp-in-SMT

Scheme

compositional-typing

Racket

miniKanren-miniCourse

Code and resources for the miniKanren miniCourse.

meta-circular-interp-in-mk

Scheme

relational-alpha-equivalence-experiments

Experiments in alpha-equivalence, capture-avoiding-substitution, gensym, etc., all fully relational.

Scheme

multi-quine

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

Scheme

cartesian-evalo

Cartesian product of multiple evalos

Scheme

error-handling-relational-interpreter

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

Scheme

pcpo

Post Correspondence Problem in miniKanren

Scheme

minikanren-playground

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

Scheme

utah-minikanren-summer-school

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

Scheme

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"

Scheme

templateo

Experimenting with cKanren's new `templateo` constraint

Racket

relational-interpreter-with-set-bang

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

Scheme

zoo

Resources for 'The CS Education Zoo' web show

HTML

mad-at-x

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

Racket

KeySchem-ture

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

Scheme

interleaving-small-step-evaluation

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

Scheme

miniKanren-pretty-printer

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

Scheme

clpset-environment-experiments

Experiments using set constraints (CLP(Set)) to represent environments in relational interpreters, etc.

Scheme

copyo

miniKanren with declarative copy term (copyo)

Scheme

typeo

Simple DSL for writing even simpler type inferencers

Racket

relational-sorting

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

Scheme

mk-interpreter-with-term-size

miniKanren relational interpreter with term size argument

Scheme

meta-interp

Playing with meta-interpreters in miniKanren

Scheme

codemesh2015

CodeMesh 2015 miniKanren talk

Scheme

dot_emacs

My .emacs file

bookstore_for_C203

Simple livecoded bookstore for C203

Java

more-schemelyer-relational-interpreter

Much Scheme! Such letrec!

Scheme

syntax-case-experiments

Trying to become less n00b with hygienic macros, with the help of talented friends.

Scheme

webyrd/declarative-semantics

webyrd

Reviews

Repository Details

More Repositories