microKanren

Relational programming library

An implementation of a minimalist functional core for relational programming languages.

An Elm implementation of the μKanren language.

GitHub

5 stars
3 watching
1 forks
Language: Elm
last commit: over 5 years ago
Linked from 1 awesome list

elmmicrokanren

Screenshot of dvberkel/microKanren website

dvberkel.github.io/microKanren/

Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
dboulytchev/minikanren-coqA certified semantics for relational programming language specification, providing verified implementations of syntax and semantics for miniKanren languages26
awalterschulze/gominikanrenAn implementation of a logic programming language in Go38
jvranish/minikanrentAn implementation of logic programming concepts in Haskell76
dierk/frepl-guiA graphical interface for the Frege REPL, allowing users to interact with the language in an intuitive way.25
ndmitchell/uniplateA simple and efficient generics library for Haskell76
ndmitchell/cmdargsA Haskell library for building command line applications with minimal code91
ismael-vc/uxn.jlA Julia package for implementing a universal and self-contained relational database system0
henkmollema/dommelA simple and convenient API for CRUD operations using Dapper.640
khchen/tinyreA lightweight regex library for the Nim programming language38
mrkn/mxnet.rbA Ruby interface to MXNet's deep learning framework48
dflemstr/tinA statically structurally typed JIT-compiled programming language designed to be easily embedded in other programs.63
anton-k/migA lightweight and composable library for building servers in Haskell.70
domkm/silkAn isomorphic routing library for Clojure and ClojureScript applications221
replikativ/konserveA protocol for building asynchronous, thread-safe, and consistent key-value stores with low overhead300
kbroman/d3panelsA set of D3-based graphic panels for creating customizable charts with specific features for genetic mapping applications.28