Awesome Open Source

Programming Languages

Search results for minikanren

12 search results found

Medikanren ⭐ 310

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

An extensible, lightweight relational/logic programming DSL written in pure Python

Staged Minikanren ⭐ 114

staged relational interpreters: running with holes, faster

Ocanren ⭐ 109

Statically typed embedding of miniKanren relational programming language into OCaml

Ukanren Rs ⭐ 99

Rust implementation of µKanren, a featherweight relational programming language.

Hydiomatic ⭐ 79

The Hy Transformer

Symbolic Pymc ⭐ 40

Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.

Gominikanren ⭐ 32

a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.

Clpsmt Minikanren ⭐ 28

CLP(SMT) on top of miniKanren

Shen Minikanren ⭐ 21

An embedding of miniKanren in Shen.

Minikanren Confo ⭐ 16

core.logic.nominal at the minikanren confo 2013

Minikanren Datalog ⭐ 16

Datalog implemented in minikanren

Related Searches

Logic Programming Minikanren (9)

Python Minikanren (5)

Minikanren Microkanren (4)

Racket Minikanren (3)

Symbolic Computation Minikanren (3)

Minikanren Relational Programming (3)

Scheme Minikanren (3)

Language Minikanren (3)

1-12 of 12 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.