awalterschulze / gominikanrenLinks
a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
☆43Updated 2 years ago
Alternatives and similar repositories for gominikanren
Users that are interested in gominikanren are comparing it to the libraries listed below
Sorting:
- A datalog prover and interpreter in Go.☆38Updated 9 years ago
- a simple Hindley-Milner type system in Go☆64Updated 7 years ago
- toy minikanren impl in Go lang☆57Updated 11 years ago
- Slurp is a highly customisable LISP toolkit for Go applications. 💻☆35Updated 2 years ago
- golang parser-combinator library☆76Updated 2 years ago
- A Common Lisp-like Lisp-1 in Go with TCO and partially hygienic macros☆37Updated 5 years ago
- Type safe persistent/immutable data structures for Go☆63Updated 4 years ago
- Chez Scheme is a mature, high performance, light-weight, compiler construction toolkit and native code generation engine (aka Just-in-tim…☆42Updated 2 years ago
- various predicates for ichiban/prolog☆15Updated 2 years ago
- Gong liveness and channel safety checker☆31Updated 7 years ago
- Sabre is highly customisable, embeddable LISP engine for Go.☆28Updated 4 years ago
- Programming with Spaces in Go☆13Updated 7 years ago
- A Scheme-flavored Lisp implemented in Go.☆148Updated 4 years ago
- Parens is a highly flexible and embeddable LISP toolkit.☆32Updated 4 years ago
- Hindley-Milner type system with extensible records and variants, implemented in Go☆21Updated 4 years ago
- APL interpreter and stream processor☆132Updated 4 years ago
- Simplistic Smalltalk code interpreter written in Golang.☆16Updated last year
- Yet Another Efficient Unification Algorithm☆27Updated last year
- A Go implementation of the Shen programming language☆59Updated 2 years ago
- Io, the language, in Go, the language☆83Updated 2 years ago
- Language experimentation.☆22Updated 2 weeks ago
- If enabled, allows live debug scripting of a running process's Go objects and types over a TCP socket.☆16Updated last year
- An embedded lisp interpreter☆35Updated 2 months ago
- prototype: a relational database which supports live GraphQL-like queries. Written in Go with BoltDB storage.☆37Updated 2 years ago
- A Lisp implementation in Go☆153Updated 8 years ago
- Lisp Interpreter in Go (golang) WIP☆19Updated 5 years ago
- A simple Lisp written in Go☆78Updated last month
- literate-programming-style documentation for golang, modeled on docco☆45Updated 10 years ago
- Encoding Agnostic Validation (Validation Language, Parsers and Encoders)☆95Updated 3 years ago
- Go Object Notation.☆24Updated 3 years ago