kevinawalsh / datalog

Related projects ⓘ

Alternatives and complementary repositories for datalog

• awalterschulze / gominikanren
  a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
  ☆38Updated last year
• pSpaces / goSpace
  Programming with Spaces in Go
  ☆11Updated 6 years ago
• chewxy / hm
  a simple Hindley-Milner type system in Go
  ☆60Updated 6 years ago
• nickng / gong
  Gong liveness and channel safety checker
  ☆30Updated 6 years ago
• spy16 / sabre
  Sabre is highly customisable, embeddable LISP engine for Go.
  ☆28Updated 4 years ago
• gunnihinn / queuesim
  A simple bounded queue simulator
  ☆21Updated 5 years ago
• sdboyer / transducers-go
  Transducers for Go
  ☆47Updated 9 years ago
• spy16 / parens
  Parens is a highly flexible and embeddable LISP toolkit.
  ☆33Updated 4 years ago
• jtfmumm / pony-functional-data
  Functional data structures for Pony
  ☆44Updated 7 years ago
• guregu / predicates
  various predicates for ichiban/prolog
  ☆14Updated 2 years ago
• robpike / freq
  Command to show character (Unicode code point) frequency.
  ☆22Updated 8 years ago
• vektah / goparsify
  golang parser-combinator library
  ☆74Updated 2 years ago
• vilterp / treesql
  prototype: a relational database which supports live GraphQL-like queries. Written in Go with BoltDB storage.
  ☆37Updated last year
• kuba-- / ut
  Yet Another Efficient Unification Algorithm
  ☆25Updated 3 months ago
• loov / layout
  Graph layouting package
  ☆24Updated 2 years ago
• DanielMorsing / suss
  A property-based testing library
  ☆37Updated 7 years ago
• spy16 / slurp
  Slurp is a highly customisable LISP toolkit for Go applications. 💻
  ☆34Updated last year
• dhconnelly / docgo
  literate-programming-style documentation for golang, modeled on docco
  ☆44Updated 9 years ago
• jtolio / crawlspace
  If enabled, allows live debug scripting of a running process's Go objects and types over a TCP socket.
  ☆16Updated 6 months ago
• hiredman / gologic
  toy minikanren impl in Go lang
  ☆57Updated 10 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 2 years ago
• ajhager / srvi
  Quickly build, serve, run, and refresh your GopherJS programs
  ☆29Updated 8 years ago
• jemc / pony-capnp
  Cap’n Proto plugin for generating serializable Pony classes. - 'n
  ☆19Updated 6 years ago
• go-air / reach
  symbolic reachability checker
  ☆23Updated 3 years ago
• pzhin / go-sophia
  go-sophia is a golang binding for sophia database
  ☆14Updated 5 years ago
• alecthomas / langx
  Language experimentation.
  ☆21Updated 2 weeks ago
• bytbox / kakapo
  Embedded Lisp Interpreter for Golang
  ☆63Updated 12 years ago
• ktye / iv
  APL interpreter and stream processor
  ☆131Updated 3 years ago