webyrd Goto Github PK

ee-lib

elephantkanren

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

error-handling-relational-interpreter

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

example-biohackrxiv-paper

This is a working paper that can be generated with https://BioHackrXiv.genenetwork.org/

faster-minikanren

A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.

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/

gentle-intro-to-mk

miniKanren code for a Gentle Intro to miniKanren tutorial

guanxi

Relational programming in Haskell

habitat

Habitat is a massively multiplayer online role-playing game for the Commodore 64 on top of the QuantumLink online platform.

hindley-milner-type-inferencer

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

hipred

holmes

A reference library for constraint-solving with propagators and CDCL.

idris-dev

A Dependently Typed Functional Programming Language

idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

igors-turing-machine

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

interleaving-small-step-evaluation

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

invaders

Invaders game in 512 bytes (boot sector)

jetisu

Jetisu is a toolset for modelling with intensionally defined relations.

keyschem-ture

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

knowledge-graph-hub.github.io

korhal

SC:BW Terran AI using JNIBWAPI and Clojure

korhal-starter

Korhal Starter Kit

lambda-lounge-utah-mk-talk

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

lambdajam

Workshop on Program Transformations

latticekanren

lattice-based miniKanren, inspired by lambda-LVars

linear-logic-multiset-rewriting

Logic for story telling!

llm-verified-with-monte-carlo-tree-search

LLM verified with Monte Carlo Tree Search

mad-at-x

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

markovjunior

Probabilistic PL based on pattern matching and constraint propagation, 148 examples

medikanren

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