suomela / daLinks
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:
- a Haskell clone for the JVM☆11Updated 10 years ago
- ☆34Updated 5 years ago
- The Cubicle model checker☆14Updated last month
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Updated 3 years ago
- Kodkod solver for relational logic☆80Updated 2 years ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆67Updated 8 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆21Updated last year
- Materials and accompanying references for all things pwlconf related☆60Updated 6 years ago
- Core implementation of X10 programming language including compiler, runtime, class libraries, sample programs and test suite☆72Updated 4 years ago
- surgical precision JIT compilers☆122Updated 8 years ago
- ☆30Updated 7 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Intuitionistic Programming Language☆12Updated 11 years ago
- ☆57Updated 8 years ago
- ☆71Updated 5 years ago
- The Aldor Programming Language☆35Updated 9 months ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated 3 weeks ago
- Memory Management ToolKit☆37Updated 4 months ago
- The Stratego program transformation language☆33Updated 6 months ago
- A Java implementation of the Shen programming language☆28Updated 6 years ago
- Code written while working through the book LISP in Small Pieces☆28Updated 11 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated last week
- The implementation of the Elevate language☆30Updated 8 months ago
- Modeling and Programming with Gecode☆50Updated 3 years ago
- generative programming & verification☆34Updated 5 months ago
- a small C++ lattice library☆15Updated 5 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 9 years ago
- SPARK 2014 repository for the Why3 verification platform.☆33Updated this week
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆50Updated 3 years ago