hiredman / gologic
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
- LISP dialect implemented in Go☆259Updated 5 years ago
- A dialect of Lisp implemented in Go☆105Updated 9 years ago
- A Lisp implementation in Go☆151Updated 8 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆41Updated last year
- The gsp compiler.☆177Updated 9 years ago
- The Gsp Prelude and Go bindings.☆28Updated 9 years ago
- go language generics system☆115Updated 12 years ago
- Prolog interpreter in Go☆373Updated 5 years ago
- gtreap is an immutable treap implementation in the Go Language☆90Updated 3 years ago
- Software Transactional Memory in Go☆188Updated 5 years ago
- Package htree implements the in-memory hash tree. Hacker News: https://news.ycombinator.com/item?id=11369676☆92Updated 2 years ago
- A datalog prover and interpreter in Go.☆36Updated 9 years ago
- A dialect of Lisp extended to support concurrent programming, written in Go.☆182Updated 9 years ago
- A customisable virtual machine written in Go☆222Updated 7 years ago
- Packages for solving minimization problems [DEPRECATED]☆67Updated 6 years ago
- Type safe persistent/immutable data structures for Go☆63Updated 3 years ago
- goast is a Go AST utility with the aim of providing idiomatic meta-programming facilities for Go.☆136Updated 5 years ago
- Go-interpreter Project Design Documents☆57Updated 6 years ago
- Immutable and Memory-Efficient Maps and Sets in Go☆240Updated 3 weeks ago
- Persistent data structures for Go☆114Updated 8 years ago
- Ale is a Lisp Environment for Go applications☆171Updated this week
- A Scheme-flavored Lisp implemented in Go.☆148Updated 3 years ago
- a simple Hindley-Milner type system in Go☆63Updated 7 years ago
- Protocol Buffer compiler written in Go☆120Updated 8 years ago
- a (tiny) VM project built with Go☆59Updated 8 years ago
- literate-programming-style documentation for golang, modeled on docco☆45Updated 10 years ago
- Slurp is a highly customisable LISP toolkit for Go applications. 💻☆34Updated last year
- GPU-Accelerated Linear Algebra Libraries☆22Updated 10 years ago
- The T text editor.☆60Updated 6 years ago
- Corpus of interesting Go code☆194Updated 8 years ago