Alternatives and similar repositories for da:

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

• forax / write_your_dynamic_language_runtime
  How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM
  ☆15Updated last month
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• rise-lang / rise
  Implementation of the RISE language
  ☆14Updated 4 years ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated 2 weeks ago
• GeorgOfenbeck / SpiralS
  ☆22Updated 11 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated 11 months ago
• DeuceSTM / DeuceSTM
  Java Software Transactional Memory
  ☆57Updated 4 years ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 5 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated 11 months ago
• abailly / jaskell
  a Haskell clone for the JVM
  ☆11Updated 9 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• enso-lang / enso
  ☆71Updated 4 years ago
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆34Updated 7 years ago
• namin / lms-verify
  generative programming & verification
  ☆32Updated 3 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆35Updated last year
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 8 years ago
• LouisJenkinsCS / LLVM-JVM
  [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell
  ☆21Updated 3 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆23Updated 12 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  Updated 5 years ago
• mguenther / csp-solver-scala
  Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Scala-based port of the ori…
  ☆10Updated 8 years ago
• lemire / sparsebitmap
  A simple sparse bitmap implementation in java
  ☆21Updated 9 years ago
• epfldata / dbstage
  ☆15Updated 4 years ago
• DaMSL / K3
  K3: A Declarative Data Systems Programming Framework
  ☆15Updated 8 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• ucbrise / fluent-old
  Bloom + C++
  ☆17Updated 7 years ago