suomela / da
Distributed Algorithms — Online Textbook
☆16Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for da
- 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 8 months ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆33Updated 7 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆13Updated last week
- Cray Chapel scheduler for Apache Mesos☆22Updated 10 years ago
- ☆34Updated 4 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆32Updated last week
- Relational Algebra at your fingertips☆62Updated 9 years ago
- programming languages invented/implemented by myself.☆8Updated last year
- Alice ML implementation☆17Updated 2 years ago
- Library-based Language Extensibility☆39Updated 10 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 6 years ago
- Learning Haskell: algorithms, data structures, mini-programs, materials, excercises☆17Updated 5 years ago
- ☆43Updated 3 weeks ago
- The Cubicle model checker☆13Updated 8 months ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- Formalization of some elementary mathematical theories in Coq☆14Updated 4 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 8 years ago
- ☆71Updated 4 years ago
- Memory Management ToolKit☆31Updated 3 weeks ago
- Conference on Homotopy Type Theory 2019☆15Updated 5 years ago
- ☆22Updated 10 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆24Updated 11 years ago
- Simple demo for using the Java 16 Vector API, using the well-known "FizzBuzz" example☆11Updated 3 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 9 years ago
- The Stratego program transformation language☆30Updated 3 months ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆32Updated 9 years ago
- Web application for course on Formal Reasoning About Programs☆17Updated last year
- Atomix Jepsen tests☆14Updated 7 years ago