Alternatives and similar repositories for dtgp:

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

• pre-srfi / static-scheme
  ☆12Updated 4 years ago
• repos-bitc / bitc
  The BitC Programming Language (unofficial, unaffiliated mirror)
  ☆25Updated 13 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
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆130Updated this week
• rootmos / silly-k
  silly-k is an experimental language inspired by K and APL
  ☆16Updated 5 months ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 2 years ago
• mikelevins / bard
  the bard programming language
  ☆33Updated 6 months ago
• Lucretia / adavulkan
  Ada 2012 binding to Vulkan
  ☆17Updated 9 years ago
• ekarayel / sync-mht
  Synchronize directory hierarchies using Hash-Tree's
  ☆22Updated 4 years ago
• sjl / temperance
  A logic programming library for Common Lisp.
  ☆61Updated 4 years ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆46Updated last year
• carpentry-org / template
  A template for structuring your Carp packages
  ☆17Updated 4 years ago
• pkhuong / Xecto
  80% xectors
  ☆42Updated 3 years ago
• Virtual-Insurance-Products / cldb
  ☆45Updated 3 years ago
• sellout / quid-pro-quo
  A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
  ☆95Updated 6 years ago
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆65Updated 9 years ago
• pinocchio / p
  Pinocchio VM
  ☆20Updated 4 years ago
• namin / propagators
  the Art of the Propagator
  ☆50Updated 12 years ago
• barak / oaklisp
  An object-oriented dialect of Scheme
  ☆59Updated 3 years ago
• skypher / montezuma
  Full-text indexing and search for Common Lisp
  ☆54Updated 11 years ago
• quil-lang / alexa
  A Lexical Analyzer Generator
  ☆61Updated 4 months ago
• cararemixed / hansei
  A collection of code related to the HANSEI language
  ☆9Updated 8 years ago
• sirherrbatka / cl-data-structures
  Data Structures and streaming algorithms for Common Lisp.
  ☆49Updated 3 weeks ago
• fare / lisp-interface-library
  LIL: abstract interfaces and supporting concrete data-structures in Common Lisp
  ☆147Updated last year
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆51Updated 8 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago