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)
  ☆26Updated 13 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆65Updated 9 years ago
• rootmos / silly-k
  silly-k is an experimental language inspired by K and APL
  ☆15Updated 11 months ago
• pre-srfi / static-scheme
  ☆14Updated 4 years ago
• cararemixed / hansei
  A collection of code related to the HANSEI language
  ☆10Updated 9 years ago
• pinocchio / p
  Pinocchio VM
  ☆21Updated 4 years ago
• seepel / fleascheme-repl.it
  ☆12Updated 5 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated 3 weeks ago
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆136Updated 3 months ago
• jaked / froc
  Functional reactive programming in OCaml
  ☆67Updated 14 years ago
• neil-lindquist / linear-programming
  A Common Lisp library for solving linear programming problems
  ☆109Updated 3 months 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
• Lucretia / adavulkan
  Ada 2012 binding to Vulkan
  ☆18Updated 9 years ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆47Updated last year
• gregr / dKanren
  miniKanren variant with a functional syntax, expressing disjunction via pattern matching
  ☆17Updated 5 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• afainer / cleven
  Cleven is an experimental game engine with volume graphics written in Common Lisp.
  ☆47Updated 8 years ago
• webyrd / declarative-semantics
  miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…
  ☆15Updated 7 years ago
• namin / propagators
  the Art of the Propagator
  ☆52Updated 12 years ago
• skypher / montezuma
  Full-text indexing and search for Common Lisp
  ☆55Updated 12 years ago
• nikodemus / screamer
  Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
  ☆244Updated last year
• sjl / temperance
  A logic programming library for Common Lisp.
  ☆62Updated 4 years ago
• OdonataResearchLLC / weyl
  This repository contains an updated version of the Weyl computer algebra substrate from Cornell University. It is ASDF loadable, and uses…
  ☆48Updated 8 years ago
• barak / oaklisp
  An object-oriented dialect of Scheme
  ☆61Updated 3 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• stylewarning / cl-algebraic-data-type
  Algebraic data types in Common Lisp
  ☆141Updated 2 months ago
• angavrilov / cl-gpu
  A library for writing GPU (CUDA) kernels in a subset of Common Lisp
  ☆82Updated 8 years ago
• sellout / quid-pro-quo
  A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
  ☆97Updated 7 years ago
• carpentry-org / template
  A template for structuring your Carp packages
  ☆18Updated 5 years ago
• fare / lisp-interface-library
  LIL: abstract interfaces and supporting concrete data-structures in Common Lisp
  ☆151Updated 2 weeks ago