webyrd/relational-progress-sensitive-security

Stars
6
Rank 2,539,965 (Top 51 %)
Language
Scheme
Created over 11 years ago
Updated over 11 years ago

webyrd/relational-progress-sensitive-security

webyrd

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

Relational implementation of type system and semantics from "Precise Enforcement of Progress-Sensitive Security" by Moore, Askarov, and Chong, CCS'12.

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

linear-logic-multiset-rewriting

Logic for story telling!

miniKanren-hangout-summaries

Summaries of intro and advanced miniKanren hangout series

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

scheme-primer

Interactive Scheme Primer, written in Scheme.

anti-unification

Functional implementation of anti-unification algorithm for multiple terms

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

wreckto-verseo

Experiments with the Verse Calculus in miniKanren

cool-relational-interpreter-examples

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

tree-automata

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

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.

will-writes-books

latticeKanren

lattice-based miniKanren, inspired by lambda-LVars

summer-scheming

Summer Scheming!!!!!!

set-constraints

Stolzenburg-style set constraints

relational-interpreter-with-match

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

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.

imperishable-wonderland

An Imperishable Wonderland of Infinite Fun

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

relational-amb

A Relational Exploration of McCarthy's amb

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

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

Running-Backwards--Part-1

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

strange-loop-2013

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

mk-interp

miniKanren interpreter in Scheme

igors-turing-machine

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

scheme-fun-hacking

Scheme Fun Hacking!

mk-metacircular-interp

meta-circular miniKanren interpreter

relational-reactive-programming

Exploring interactive programming in miniKanren (Relational Reactive Programming)

underconstraints

Underconstraints for miniKanren

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/

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.

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

Scheme-macros

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

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

relational-alpha-equivalence-experiments

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

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

clpset-environment-experiments

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

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!

syntax-case-experiments

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