hiredman / gologicLinks
toy minikanren impl in Go lang
☆58Updated 11 years ago
Alternatives and similar repositories for gologic
Users that are interested in gologic are comparing it to the libraries listed below
Sorting:
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆43Updated 2 years ago
- LISP dialect implemented in Go☆260Updated 5 years ago
- Prolog interpreter in Go☆375Updated 6 years ago
- The Gsp Prelude and Go bindings.☆28Updated 10 years ago
- A datalog prover and interpreter in Go.☆37Updated 9 years ago
- A Lisp implementation in Go☆154Updated 8 years ago
- Type safe persistent/immutable data structures for Go☆63Updated 4 years ago
- A dialect of Lisp implemented in Go☆104Updated 10 years ago
- The gsp compiler.☆177Updated 10 years ago
- golang parser-combinator library☆78Updated 3 years ago
- A Scheme-flavored Lisp implemented in Go.☆150Updated 4 years ago
- goast is a Go AST utility with the aim of providing idiomatic meta-programming facilities for Go.☆138Updated 6 years ago
- Encoding Agnostic Validation (Validation Language, Parsers and Encoders)☆95Updated 3 years ago
- LLVM bindings for the Go programming language☆54Updated 11 years ago
- Gong liveness and channel safety checker☆31Updated 8 years ago
- Persistent data structures for Go☆112Updated 8 years ago
- Easy parametric polymorphism at run time using completely unidiomatic Go.☆197Updated 11 years ago
- literate-programming-style documentation for golang, modeled on docco☆43Updated 10 years ago
- Parens is a highly flexible and embeddable LISP toolkit.☆32Updated 5 years ago
- Software Transactional Memory in Go☆188Updated 6 years ago
- Go implementation of the Cool programming language☆42Updated 8 years ago
- A customisable virtual machine written in Go☆220Updated 8 years ago
- The T text editor.☆60Updated 7 years ago
- a simple Hindley-Milner type system in Go☆65Updated 7 years ago
- A dialect of Go with optional types and without nil references.☆182Updated 7 years ago
- Immutable and Memory-Efficient Maps and Sets in Go☆245Updated last month
- Simple LISP in Go☆528Updated 8 years ago
- Twik is a tiny embedding language for Go.☆32Updated 9 years ago
- gtreap is an immutable treap implementation in the Go Language☆92Updated 3 years ago
- go language generics system☆115Updated 13 years ago