kevinawalsh / datalog

Related projects ⓘ

Alternatives and complementary repositories for datalog

• pSpaces / goSpace
  Programming with Spaces in Go
  ☆11Updated 6 years ago
• nickng / gong
  Gong liveness and channel safety checker
  ☆30Updated 6 years ago
• awalterschulze / gominikanren
  a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
  ☆38Updated last year
• guregu / predicates
  various predicates for ichiban/prolog
  ☆14Updated 2 years ago
• chewxy / hm
  a simple Hindley-Milner type system in Go
  ☆59Updated 6 years ago
• KaiSta / gopherlyzer
  Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
  ☆20Updated 7 years ago
• jemc / pony-capnp
  Cap’n Proto plugin for generating serializable Pony classes. - 'n
  ☆19Updated 6 years ago
• kuba-- / ut
  Yet Another Efficient Unification Algorithm
  ☆25Updated 2 months ago
• sdboyer / transducers-go
  Transducers for Go
  ☆47Updated 9 years ago
• riaken / riaken-core
  Go Protocol Buffer driver for the Riak distributed database
  ☆31Updated 9 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 2 years ago
• jtfmumm / pony-functional-data
  Functional data structures for Pony
  ☆44Updated 7 years ago
• nickng / gospal
  Go static program analyser
  ☆58Updated 4 years ago
• loov / layout
  Graph layouting package
  ☆24Updated 2 years ago
• hiredman / gologic
  toy minikanren impl in Go lang
  ☆57Updated 10 years ago
• pkelchte / tiny-lisp
  Lisp interpreter in Go by the guys at OKI ESC http://www.oki-osk.jp/esc/golang/lisp.html
  ☆13Updated 10 years ago
• beyang / go-astquery
  A simple library for querying the AST of a Go program
  ☆10Updated 9 years ago
• jbarham / primegen
  Port of D. J. Bernstein's primegen prime number generator to Go
  ☆30Updated 4 years ago
• thejerf / strinterp
  Morally-correct string and stream interpolation for Go.
  ☆24Updated 8 years ago
• DanielMorsing / suss
  A property-based testing library
  ☆37Updated 7 years ago
• kstephens / maru
  Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/
  ☆39Updated 3 years ago
• cespare / frosty
  A raytracer, for fun
  ☆26Updated 3 years ago
• spy16 / parens
  Parens is a highly flexible and embeddable LISP toolkit.
  ☆33Updated 4 years ago
• pzhin / go-sophia
  go-sophia is a golang binding for sophia database
  ☆14Updated 5 years ago
• grailbio / diviner
  Diviner is a serverless machine learning and hyper parameter tuning platform
  ☆22Updated 5 years ago
• dhconnelly / docgo
  literate-programming-style documentation for golang, modeled on docco
  ☆44Updated 9 years ago
• jemc / pony-sodium
  Safe Pony FFI wrapper for the libsodium cryptography library.
  ☆24Updated 2 years ago