gominikanren
Logic programmer
An implementation of a logic programming language in Go
a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
38 stars
6 watching
2 forks
Language: Go
last commit: about 3 years agogologic-programmingminikanren
Related projects:
| Repository | Description | Stars |
|---|---|---|
 jvranish/minikanrent | An implementation of logic programming concepts in Haskell | 76 |
| awalterschulze/goderive | Automates generating implementations of common Go functions from input parameter types. | 1,246 |
 dvberkel/microkanren | An implementation of a minimalist functional core for relational programming languages. | 5 |
 akrennmair/gopcap | A wrapper around libpcap for the Go programming language | 490 |
| awalterschulze/gographviz | Parses and manipulates Graphviz DOT language in Golang | 555 |
 simonwaldherr/golang-minigames | A collection of Go programs implementing popular mini-games | 12 |
 yaa110/goterator | An iterator implementation providing map and reduce functionalities for data processing in Go. | 16 |
 ajvb/kala | A modern job scheduler written in Go. | 2,140 |
 azr/generators | Automates the generation of boilerplate code for common Go applications | 5 |
 akamensky/argparse | Provides a flexible and easy-to-use command line argument parsing solution for Go programs. | 617 |
 rhysd/gocaml | An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch. | 749 |
 phakornkiong/go-pattern-match | Provides a concise and declarative way to handle complex conditional logic in Go | 93 |
 candid82/joker | An interpreter, linter, and formatter tool for the Clojure programming language. | 1,650 |
 alexflint/go-arg | Provides a structured approach to parsing command-line arguments in Go | 2,046 |
 a8m/golang-cheat-sheet | A comprehensive guide to Go syntax and features for developers | 8,467 |