Alternatives and similar repositories for da

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

• GeorgOfenbeck / SpiralS
  ☆23Updated 11 years ago
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated last month
• Deducteam / SizeChangeTool
  A termination checker for higher-order rewriting with dependent types
  ☆10Updated 5 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• ucbrise / fluent-old
  Bloom + C++
  ☆17Updated 7 years ago
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆34Updated 7 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆23Updated 12 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• ilya-klyuchnikov / mrsc
  A toolkit for building multi-result supercompilers
  ☆30Updated 3 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 4 months ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated last year
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 6 years ago
• LouisJenkinsCS / Distributed-Data-Structures
  [GSoC] Distributed Data Structures - Collections Framework for Chapel language
  ☆15Updated 7 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 11 years ago
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 10 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆1Updated 5 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
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last year
• mukeshtiwari / Idris
  Codes related to Idris
  ☆15Updated 9 years ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated last month
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• sireum / v3
  Sireum v3
  ☆10Updated last year