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
  ☆62Updated 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
• carpentry-org / template
  A template for structuring your Carp packages
  ☆17Updated 5 years ago
• fcbr / graph-algorithms
  Several graph algorithms in Common Lisp.
  ☆8Updated 4 years ago
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆132Updated last week
• pinocchio / p
  Pinocchio VM
  ☆20Updated 4 years ago
• cararemixed / hansei
  A collection of code related to the HANSEI language
  ☆9Updated 9 years ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆21Updated 10 years ago
• aliclark / hasp
  A Lisp syntax for Haskell.
  ☆22Updated 13 years ago
• henrystanley / Quark
  Quark, A Functional, Purely Homoiconic, Concatenative Language
  ☆27Updated 9 years ago
• eugeneia / sam
  Tiny, concurrent sampling profiler for Clozure Common Lisp.
  ☆15Updated 8 years ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years ago
• flavioc / cl-meld
  Meld compiler written in Common Lisp
  ☆14Updated 9 years ago
• gregr / dKanren
  miniKanren variant with a functional syntax, expressing disjunction via pattern matching
  ☆16Updated 5 years ago
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 3 years ago
• Gariben / Prolog
  Prolog Projects (Artificial Intelligence, Encryption)
  ☆7Updated 10 years ago
• afainer / cleven
  Cleven is an experimental game engine with volume graphics written in Common Lisp.
  ☆46Updated 8 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆52Updated 8 years ago
• Pascal-J / Jfire
  Arrayfire bindings for J language
  ☆12Updated 7 years ago
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆38Updated 3 years ago
• eholk / elegant-weapons
  An R6RS framework for creating compilers that target C.
  ☆113Updated 9 years ago
• salmanebah / opencl-mode
  Quick and dirty syntax coloring for opencl kernels
  ☆11Updated last month
• aya-lang / aya
  Pocket sized programs
  ☆57Updated 3 months ago
• Lucretia / adavulkan
  Ada 2012 binding to Vulkan
  ☆17Updated 9 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 3 years ago
• berkus / anic
  Automatically exported from code.google.com/p/anic
  ☆6Updated 10 years ago