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
- ☆22Updated 11 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Regular Expressions and Lexing with DFAs☆9Updated 8 months ago
- generative programming & verification☆32Updated 3 years ago
- ☆34Updated 4 years ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆34Updated 7 years ago
- Prototype of a new constraint-logic programming language in Racket☆28Updated 10 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated 10 months ago
- Memory Management ToolKit☆31Updated last week
- Bloom + C++☆17Updated 7 years ago
- The dependently & gradually typed Sage programming language☆9Updated 10 years ago
- The Cubicle model checker☆13Updated 10 months ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Updated 5 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…☆8Updated 3 years ago
- The A+ programming language from Morgan Stanley☆17Updated 10 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated last year
- Dafny for Metatheory of Programming Languages☆22Updated 3 weeks ago
- The implementation of the Elevate language☆29Updated 2 months ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 2 years ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- An introduction to the basic ideas of commutative algebra☆16Updated 4 years ago
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- Implementation of the RISE language☆14Updated 4 years ago
- Automatically exported from code.google.com/p/full-maude☆15Updated 11 months ago
- Tests with PlusCal / TLA+☆25Updated 8 years ago
- The rewrite of TLAPM, the TLAPS proof manager☆0Updated 5 years ago
- Object Algebra Composition☆24Updated 11 years ago