Alternatives and similar repositories for da

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

• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆34Updated 7 years ago
• slowphil / texmacs-win-builder
  Automate building of TeXmacs on windows using MSys2/Mingw-w32
  ☆10Updated 3 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆77Updated 2 years ago
• stanford-ppl / hyperdsl
  ☆57Updated 8 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆59Updated 5 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 11 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated last month
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last year
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆91Updated last month
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated 2 months ago
• enso-lang / enso
  ☆71Updated 5 years ago
• djspiewak / scala-bison
  A recursive ascent/descent parser generator for Scala
  ☆33Updated 2 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆14Updated 9 years ago
• jackfoxy / SpecifyingSystemsWithContents
  Adding a table of contents to Specifying Systems, TLA+.pdf
  ☆66Updated 7 years ago
• scala-lms / tutorials
  Tutorials on Lightweight Modular Staging
  ☆122Updated 9 months ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• UniMath / TypeTheory
  The mathematical study of type theories, in univalent foundations
  ☆116Updated 5 months ago
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 5 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 9 years ago
• stanford-ppl / Forge
  A prototype meta DSL that generates Delite DSL implementations from a specification-like program.
  ☆52Updated 8 years ago
• will62794 / logless-reconfig
  TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.
  ☆12Updated 7 months ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated 4 months ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• ivtoskov / lms-intrinsics
  A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).
  ☆40Updated 7 years ago
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 8 years ago
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago