microKanren
by dvberkel
An Elm implementation of the μKanren language.
AI summary
Relational programming library
An implementation of a minimalist functional core for relational programming languages.
- stars
- 5
- forks
- 1
- watching
- 3
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Relational programming semantics
A certified semantics for relational programming language specification, providing verified implementations of syntax and semantics for miniKanren languages
Logic programmer
An implementation of a logic programming language in Go
logic programming library
An implementation of logic programming concepts in Haskell
Language IDE
A graphical interface for the Frege REPL, allowing users to interact with the language in an intuitive way.
Generics library
A simple and efficient generics library for Haskell
CLI processor
A Haskell library for building command line applications with minimal code
Database library
A Julia package for implementing a universal and self-contained relational database system
CRUD API
A simple and convenient API for CRUD operations using Dapper.
Regex library
A lightweight regex library for the Nim programming language
Deep learning framework
A Ruby interface to MXNet's deep learning framework
Embedded programming language
A statically structurally typed JIT-compiled programming language designed to be easily embedded in other programs.
Server library
A lightweight and composable library for building servers in Haskell.
domkm/silk221
Routing library
An isomorphic routing library for Clojure and ClojureScript applications
Store
A protocol for building asynchronous, thread-safe, and consistent key-value stores with low overhead
Chart library
A set of D3-based graphic panels for creating customizable charts with specific features for genetic mapping applications.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions microKanren.
