hiredman / gologicLinks
toy minikanren impl in Go lang
☆57Updated 11 years ago
Alternatives and similar repositories for gologic
Users that are interested in gologic are comparing it to the libraries listed below
Sorting:
- LISP dialect implemented in Go☆260Updated 5 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆43Updated last year
- The Gsp Prelude and Go bindings.☆28Updated 9 years ago
- A Lisp implementation in Go☆153Updated 8 years ago
- Persistent data structures for Go☆113Updated 8 years ago
- goast is a Go AST utility with the aim of providing idiomatic meta-programming facilities for Go.☆137Updated 6 years ago
- The gsp compiler.☆177Updated 9 years ago
- Prolog interpreter in Go☆374Updated 5 years ago
- Easy parametric polymorphism at run time using completely unidiomatic Go.☆197Updated 11 years ago
- Encoding Agnostic Validation (Validation Language, Parsers and Encoders)☆95Updated 3 years ago
- Type safe persistent/immutable data structures for Go☆63Updated 4 years ago
- Immutable and Memory-Efficient Maps and Sets in Go☆241Updated last week
- go language generics system☆115Updated 12 years ago
- A dialect of Lisp implemented in Go☆105Updated 10 years ago
- literate-programming-style documentation for golang, modeled on docco☆45Updated 10 years ago
- SQL Relational Algebra for Go.☆77Updated 9 years ago
- Parallel and radix sorting in Go☆101Updated 2 years ago
- Package mafsa implements Minimal Acyclic Finite State Automata in Go, essentially a high-speed, memory-efficient, Unicode-friendly set of…☆296Updated 6 years ago
- Generate code for any language, with any language.☆66Updated 7 years ago
- Software Transactional Memory in Go☆187Updated 5 years ago
- gtreap is an immutable treap implementation in the Go Language☆90Updated 3 years ago
- A Scheme-flavored Lisp implemented in Go.☆148Updated 4 years ago
- A datalog prover and interpreter in Go.☆36Updated 9 years ago
- Parens is a highly flexible and embeddable LISP toolkit.☆33Updated 4 years ago
- Corpus of interesting Go code☆194Updated 8 years ago
- A customisable virtual machine written in Go☆222Updated 8 years ago
- General, type-safe, non-allocating set-operations for any sort.Interface☆171Updated 6 years ago
- Transducers for Go☆48Updated 10 years ago
- a configuration language for Go projects☆40Updated 6 years ago
- Evolutionary Algorithms in Go☆113Updated 4 years ago