awalterschulze / gominikanrenLinks
a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
☆41Updated last year
Alternatives and similar repositories for gominikanren
Users that are interested in gominikanren are comparing it to the libraries listed below
Sorting:
- a simple Hindley-Milner type system in Go☆63Updated 7 years ago
- Programming with Spaces in Go☆12Updated 7 years ago
- A datalog prover and interpreter in Go.☆36Updated 9 years ago
- toy minikanren impl in Go lang☆57Updated 11 years ago
- A Common Lisp-like Lisp-1 in Go with TCO and partially hygienic macros☆37Updated 5 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
- Gong liveness and channel safety checker☆30Updated 7 years ago
- golang parser-combinator library☆75Updated 2 years ago
- various predicates for ichiban/prolog☆15Updated 2 years ago
- Slurp is a highly customisable LISP toolkit for Go applications. 💻☆35Updated 2 years ago
- Type safe persistent/immutable data structures for Go☆63Updated 4 years ago
- Trealla Prolog embedded in Go using WASM☆79Updated 3 weeks ago
- Sabre is highly customisable, embeddable LISP engine for Go.☆28Updated 4 years ago
- Go static program analyser☆58Updated 5 years ago
- storage combinators☆18Updated 5 years ago
- Transducers for Go☆48Updated 10 years ago
- Graph layouting package☆24Updated 4 months ago
- Yet Another Efficient Unification Algorithm☆27Updated 9 months ago
- Lisp Interpreter in Go (golang) WIP☆19Updated 4 years ago
- Go Object Notation.☆24Updated 3 years ago
- A Go implementation of the Shen programming language☆58Updated 2 years ago
- Parens is a highly flexible and embeddable LISP toolkit.☆33Updated 4 years ago
- prototype: a relational database which supports live GraphQL-like queries. Written in Go with BoltDB storage.☆37Updated 2 years ago
- Port of D. J. Bernstein's primegen prime number generator to Go☆31Updated 5 years ago
- Art of Prolog Code☆36Updated 5 years ago
- Ungrammar implementation and API in Go☆46Updated last year
- literate-programming-style documentation for golang, modeled on docco☆45Updated 10 years ago
- the best functional language ever☆40Updated 5 years ago
- Io, the language, in Go, the language☆83Updated 2 years ago
- package skiprope is a rope-like data structure built on top of skiplists☆27Updated 7 years ago