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:
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆42Updated last year
- LISP dialect implemented in Go☆260Updated 5 years ago
- A datalog prover and interpreter in Go.☆36Updated 9 years ago
- Persistent data structures for Go☆113Updated 8 years ago
- The Gsp Prelude and Go bindings.☆28Updated 9 years ago
- goast is a Go AST utility with the aim of providing idiomatic meta-programming facilities for Go.☆137Updated 5 years ago
- Go-interpreter Project Design Documents☆57Updated 6 years ago
- gtreap is an immutable treap implementation in the Go Language☆90Updated 3 years ago
- A Lisp implementation in Go☆152Updated 8 years ago
- Set of tools for computing derivatives of a function [DEPRECATED]☆23Updated 6 years ago
- go language generics system☆115Updated 12 years ago
- Immutable and Memory-Efficient Maps and Sets in Go☆241Updated last month
- A Scheme-flavored Lisp implemented in Go.☆148Updated 4 years ago
- Type safe persistent/immutable data structures for Go☆63Updated 4 years ago
- Parallel and radix sorting in Go☆101Updated 2 years ago
- Prolog interpreter in Go☆374Updated 5 years ago
- A dialect of Lisp implemented in Go☆105Updated 10 years ago
- The gsp compiler.☆177Updated 9 years ago
- Software Transactional Memory in Go☆187Updated 5 years ago
- auto-generate capnproto schema from your golang source files. Depends on go-capnproto-1.0 at https://github.com/glycerine/go-capnproto☆65Updated 8 years ago
- SQL Relational Algebra for Go.☆77Updated 9 years ago
- A simple, extensible, library to make argument validation in Go palatable.☆117Updated 8 years ago
- A dialect of Go with optional types and without nil references.☆181Updated 7 years ago
- Encoding Agnostic Validation (Validation Language, Parsers and Encoders)☆95Updated 3 years ago
- seven5 is a toolkit for build highly interactive, direct manipulation interfaces on the web.☆50Updated 2 years ago
- Packages for solving minimization problems [DEPRECATED]☆67Updated 6 years ago
- GO API To Help You Create Hand-Written Lexers - See My 'go_parser' Project for the Parser API and 'go_lexer_matcher' Project for a Fluent…☆78Updated 6 years ago
- A generic strings.Join implementation that uses the "go generate" command☆35Updated 10 years ago
- Package htree implements the in-memory hash tree. Hacker News: https://news.ycombinator.com/item?id=11369676☆92Updated 2 years ago
- Operations on slices of floats [DEPRECATED]☆56Updated 6 years ago