suomela / daLinks
Distributed Algorithms — Online Textbook
☆17Updated 5 years ago
Alternatives and similar repositories for da
Users that are interested in da are comparing it to the libraries listed below
Sorting:
- ☆34Updated 5 years ago
- The Cubicle model checker☆14Updated 3 weeks ago
- CHR2 to SQL conversion☆15Updated 10 years ago
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Updated 3 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 8 years ago
- The Stratego program transformation language☆35Updated 9 months ago
- Kodkod solver for relational logic☆84Updated 2 years ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆34Updated 8 years ago
- Memory Management ToolKit☆38Updated 6 months ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 3 years ago
- Tests with PlusCal / TLA+☆25Updated 9 years ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆68Updated 8 years ago
- a small C++ lattice library☆15Updated 6 years ago
- Automatically exported from code.google.com/p/full-maude☆16Updated 4 months ago
- Execute and document benchmarks reproducibly.☆97Updated 7 months ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated last week
- generative programming & verification☆34Updated 7 months ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 15 years ago
- Modeling and Programming with Gecode☆50Updated 3 years ago
- ☆17Updated 10 years ago
- a Haskell clone for the JVM☆12Updated 10 years ago
- Library-based Language Extensibility☆39Updated 11 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12Updated 8 months ago
- Implementation of the RISE language☆14Updated 5 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆21Updated last year
- Oleg Kiselyov's minimal implementation of logic programming☆24Updated 13 years ago
- surgical precision JIT compilers☆123Updated 8 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 9 years ago
- Artifact accompanying our OOPSLA'15 publication.☆33Updated 2 years ago
- The main repository integrating the LaTeX beamer-based slides☆30Updated 10 months ago