Alternatives and similar repositories for da

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

• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated 3 months ago
• forax / write_your_dynamic_language_runtime
  How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM
  ☆16Updated 4 months ago
• slowphil / texmacs-win-builder
  Automate building of TeXmacs on windows using MSys2/Mingw-w32
  ☆10Updated 3 years ago
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆34Updated 7 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆77Updated 2 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last year
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated last year
• namin / lms-verify
  generative programming & verification
  ☆33Updated 3 weeks ago
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 10 years ago
• GeorgOfenbeck / SpiralS
  ☆23Updated 11 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• UBOdin / jitd
  Just in Time Datastructures
  ☆11Updated 8 years ago
• owo-lang / intellij-dtlc
  IntelliJ plugin for several experimental programming languages here
  ☆35Updated 3 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆51Updated 2 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆23Updated 12 years ago
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 11 years ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated 2 weeks ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 6 years ago
• rise-lang / rise
  Implementation of the RISE language
  ☆14Updated 4 years ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated 2 years ago
• DistributedComponents / InfSeqExt
  A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
  ☆17Updated 2 years ago
• TiarkRompf / lms-clean
  ☆55Updated 2 months ago
• rewriting / tom
  ☆34Updated 4 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 5 months ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆36Updated 2 months ago
• racket / datalog
  ☆48Updated 2 months ago
• DeuceSTM / DeuceSTM
  Java Software Transactional Memory
  ☆57Updated 5 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆59Updated 2 months ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆16Updated last year