awalterschulze / gominikanrenLinks
a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
☆43Updated last year
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.☆36Updated 9 years ago
- toy minikanren impl in Go lang☆57Updated 11 years ago
- Chez Scheme is a mature, high performance, light-weight, compiler construction toolkit and native code generation engine (aka Just-in-tim…☆41Updated 2 years ago
- a simple Hindley-Milner type system in Go☆63Updated 7 years ago
- A Common Lisp-like Lisp-1 in Go with TCO and partially hygienic macros☆37Updated 5 years ago
- Programming with Spaces in Go☆12Updated 7 years ago
- Gong liveness and channel safety checker☆30Updated 7 years ago
- Lisp Interpreter in Go (golang) WIP☆19Updated 4 years ago
- Slurp is a highly customisable LISP toolkit for Go applications. 💻☆35Updated 2 years ago
- various predicates for ichiban/prolog☆15Updated 2 years ago
- Type safe persistent/immutable data structures for Go☆63Updated 4 years ago
- Sabre is highly customisable, embeddable LISP engine for Go.☆28Updated 4 years ago
- APL interpreter and stream processor☆132Updated 4 years ago
- golang parser-combinator library☆76Updated 2 years ago
- Parens is a highly flexible and embeddable LISP toolkit.☆33Updated 4 years ago
- Go Object Notation.☆24Updated 3 years ago
- symbolic reachability checker☆23Updated 3 years ago
- Golang implementation of datalog, port of MITRE corporation's lua implementation☆25Updated 4 years ago
- storage combinators☆18Updated 5 years ago
- A Go implementation of the Shen programming language☆58Updated 2 years ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆33Updated last month
- Go static program analyser☆58Updated 5 years ago
- Graph layouting package☆24Updated 5 months ago
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 6 years ago
- package skiprope is a rope-like data structure built on top of skiplists☆27Updated 7 years ago
- A strongly-typed handy scripting language with type inference☆14Updated 6 years ago
- the best functional language ever☆40Updated 5 years ago
- Kanren with databases☆43Updated 10 months ago
- An embedded lisp interpreter☆34Updated last month
- This repo is an FBP implementation written in Go that follows pretty closely the logic of JavaFBP and C#FBP, taking advantage of Go's "go…☆36Updated 3 weeks ago