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 3 years ago
Linked from 1 awesome list

elmmicrokanren

Screenshot of dvberkel/microKanren website

dvberkel.github.io/microKanren/

Backlinks from these awesome lists:

Related projects:

Repository Description Stars
dboulytchev/minikanren-coq A certified semantics for relational programming language specification, providing verified implementations of syntax and semantics for miniKanren languages 26
awalterschulze/gominikanren An implementation of a logic programming language in Go 38
jvranish/minikanrent An implementation of logic programming concepts in Haskell 76
dierk/frepl-gui A graphical interface for the Frege REPL, allowing users to interact with the language in an intuitive way. 25
ndmitchell/uniplate A simple and efficient generics library for Haskell 76
ndmitchell/cmdargs A Haskell library for building command line applications with minimal code 91
ismael-vc/uxn.jl A Julia package for implementing a universal and self-contained relational database system 0
henkmollema/dommel A simple and convenient API for CRUD operations using Dapper. 635
khchen/tinyre A lightweight regex library for the Nim programming language 38
mrkn/mxnet.rb A Ruby interface to MXNet's deep learning framework 48
dflemstr/tin A statically structurally typed JIT-compiled programming language designed to be easily embedded in other programs. 63
anton-k/mig A lightweight and composable library for building servers in Haskell. 71
domkm/silk An isomorphic routing library for Clojure and ClojureScript applications 222
replikativ/konserve A protocol for building asynchronous, thread-safe, and consistent key-value stores with low overhead 301
kbroman/d3panels A set of D3-based graphic panels for creating customizable charts with specific features for genetic mapping applications. 28