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 1 year ago gologic-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,243 |
 dvberkel/microkanren | An implementation of a minimalist functional core for relational programming languages. | 5 |
 akrennmair/gopcap | A wrapper around libpcap to enable network packet capture and analysis in Go | 489 |
| awalterschulze/gographviz | Parses and manipulates Graphviz DOT language in Golang | 553 |
 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,136 |
 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. | 611 |
 rhysd/gocaml | An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch. | 748 |
 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,645 |
 alexflint/go-arg | Provides a structured approach to parsing command-line arguments in Go | 2,032 |
 a8m/golang-cheat-sheet | A comprehensive guide to Go syntax and features for developers | 8,415 |