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
• MLton / mltonlib
  The MLtonLibrary repository
  ☆36Updated 2 years ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated 3 weeks ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆16Updated last year
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  Updated 5 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated last year
• ivashkev / math-formalizations
  Formalization of some elementary mathematical theories in Coq
  ☆14Updated 5 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated 3 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆73Updated 8 months ago
• sireum / v3
  Sireum v3
  ☆10Updated last year
• ots22 / racket-ad-demos
  Exploring Automatic Differentiation with Racket
  ☆12Updated 3 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆23Updated 12 years ago
• ilya-klyuchnikov / mrsc
  A toolkit for building multi-result supercompilers
  ☆30Updated 3 years ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 5 years ago
• vpatryshev / Categories
  Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories
  ☆25Updated this week
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• mgrabovsky / fm-notes
  Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
  ☆21Updated last year
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated last year
• rise-lang / rise
  Implementation of the RISE language
  ☆14Updated 4 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• ucbrise / fluent-old
  Bloom + C++
  ☆17Updated 7 years ago
• slowphil / texmacs-win-builder
  Automate building of TeXmacs on windows using MSys2/Mingw-w32
  ☆10Updated 2 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• racket / datalog
  ☆46Updated last month
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆34Updated 7 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago