suomela / da
Distributed Algorithms — Online Textbook
☆16Updated 4 years ago
Alternatives and similar repositories for da
Users that are interested in da are comparing it to the libraries listed below
Sorting:
- The rewrite of TLAPM, the TLAPS proof manager☆1Updated 5 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- Incremental implementation of a scheme compiler☆29Updated 12 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- a small C++ lattice library☆15Updated 5 years ago
- The Cubicle model checker☆13Updated last year
- Relational Algebra at your fingertips☆62Updated 10 years ago
- Automatically exported from code.google.com/p/full-maude☆16Updated last year
- A new language for optimization☆13Updated 4 years ago
- The Aldor Programming Language☆34Updated 3 months ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- surgical precision JIT compilers☆121Updated 7 years ago
- A termination checker for higher-order rewriting with dependent types☆10Updated 4 years ago
- An interface for using mwillsey/egg with math simplification.☆13Updated 11 months ago
- ☆34Updated 4 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- ☆23Updated 11 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Updated last year
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Updated 2 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- A toolkit for building multi-result supercompilers☆30Updated 3 years ago
- Compile-time metaprogramming for OCaml☆73Updated 9 months ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- K3: A Declarative Data Systems Programming Framework☆15Updated 8 years ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- Exploring Automatic Differentiation with Racket☆12Updated 3 years ago
- [GSoC] Distributed Data Structures - Collections Framework for Chapel language☆15Updated 7 years ago
- Mathematical notes and papers☆26Updated this week
- Alloy*---Higher Order Logic for Alloy☆37Updated 5 years ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆44Updated 2 years ago