Alternatives and similar repositories for dtgp

Users that are interested in dtgp are comparing it to the libraries listed below

• repos-bitc / bitc
  The BitC Programming Language (unofficial, unaffiliated mirror)
  ☆25Updated 13 years ago
• pre-srfi / static-scheme
  ☆13Updated 4 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆61Updated 9 years ago
• jaked / froc
  Functional reactive programming in OCaml
  ☆66Updated 14 years ago
• seepel / fleascheme-repl.it
  ☆11Updated 4 years ago
• rootmos / silly-k
  silly-k is an experimental language inspired by K and APL
  ☆16Updated 7 months ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years ago
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆132Updated last month
• carpentry-org / template
  A template for structuring your Carp packages
  ☆17Updated 5 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• sjl / temperance
  A logic programming library for Common Lisp.
  ☆62Updated 4 years ago
• Gariben / Prolog
  Prolog Projects (Artificial Intelligence, Encryption)
  ☆7Updated 10 years ago
• Lucretia / adavulkan
  Ada 2012 binding to Vulkan
  ☆17Updated 9 years ago
• salmanebah / opencl-mode
  Quick and dirty syntax coloring for opencl kernels
  ☆11Updated 2 weeks ago
• logicmoo / wam_common_lisp
  Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…
  ☆102Updated 3 years ago
• ryukinix / lisp-inference
  An Inference Engine based on Propositional Calculus written in Common Lisp
  ☆41Updated 4 months ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆52Updated 8 years ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆21Updated 10 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated last year
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• aliclark / hasp
  A Lisp syntax for Haskell.
  ☆22Updated 13 years ago
• cararemixed / hansei
  A collection of code related to the HANSEI language
  ☆9Updated 8 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 3 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• terminusdb / terminus_store_prolog
  Prolog binding for terminusdb-store
  ☆21Updated 2 years ago
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆36Updated 3 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆65Updated 9 years ago