hiredman / gologic
toy minikanren impl in Go lang
☆57Updated 10 years ago
Alternatives and similar repositories for gologic:
Users that are interested in gologic are comparing it to the libraries listed below
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆41Updated last year
- LISP dialect implemented in Go☆259Updated 5 years ago
- The Gsp Prelude and Go bindings.☆28Updated 9 years ago
- A Lisp implementation in Go☆152Updated 8 years ago
- go language generics system☆115Updated 12 years ago
- Persistent data structures for Go☆114Updated 7 years ago
- The gsp compiler.☆177Updated 9 years ago
- Prolog interpreter in Go☆373Updated 5 years ago
- A dialect of Lisp implemented in Go☆106Updated 9 years ago
- gtreap is an immutable treap implementation in the Go Language☆90Updated 3 years ago
- SQL Relational Algebra for Go.☆77Updated 8 years ago
- seven5 is a toolkit for build highly interactive, direct manipulation interfaces on the web.☆50Updated 2 years ago
- literate-programming-style documentation for golang, modeled on docco☆44Updated 10 years ago
- Go-interpreter Project Design Documents☆57Updated 6 years ago
- Transducers for Go☆48Updated 9 years ago
- A datalog prover and interpreter in Go.☆35Updated 9 years ago
- goast is a Go AST utility with the aim of providing idiomatic meta-programming facilities for Go.☆136Updated 5 years ago
- Evolutionary Algorithms in Go☆113Updated 4 years ago
- Encoding Agnostic Validation (Validation Language, Parsers and Encoders)☆95Updated 3 years ago
- Packages for solving minimization problems [DEPRECATED]☆66Updated 6 years ago
- Parallel and radix sorting in Go☆100Updated 2 years ago
- A simple, extensible, library to make argument validation in Go palatable.☆116Updated 8 years ago
- Package mafsa implements Minimal Acyclic Finite State Automata in Go, essentially a high-speed, memory-efficient, Unicode-friendly set of…☆295Updated 5 years ago
- Slurp is a highly customisable LISP toolkit for Go applications. 💻☆34Updated last year
- General, type-safe, non-allocating set-operations for any sort.Interface☆170Updated 6 years ago
- A Scheme-flavored Lisp implemented in Go.☆147Updated 3 years ago
- Software Transactional Memory in Go☆188Updated 5 years ago
- Set of tools for computing derivatives of a function [DEPRECATED]☆23Updated 6 years ago
- Easy parametric polymorphism at run time using completely unidiomatic Go.☆197Updated 11 years ago
- Go implementation of the Cool programming language☆42Updated 7 years ago