A Framework for building Distributed Consensus Protocols
☆10Oct 13, 2017Updated 8 years ago
Alternatives and similar repositories for network-transformations
Users that are interested in network-transformations are comparing it to the libraries listed below
Sorting:
- A port of the ForkJoinPool JSR-166 implementation used in Scala 2.11.x for usage in Scala 2.12☆11Dec 30, 2016Updated 9 years ago
- Parser combinators in Rust☆12Feb 28, 2021Updated 5 years ago
- ☆16Jun 6, 2023Updated 2 years ago
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- Asynchronous database access for Scala and Java☆78Nov 6, 2018Updated 7 years ago
- ScalaJS CSS library☆24Oct 25, 2018Updated 7 years ago
- A scala based blockchain with tendermint-like consensus algorithm☆80Dec 22, 2025Updated 2 months ago
- A path to Recursion Schemes☆10Apr 20, 2020Updated 5 years ago
- TodoMVC with Akka-http, Scala.js, Autowire and React☆32Jun 29, 2016Updated 9 years ago
- Exercises from http://neuralnetworksanddeeplearning.com rewritten in Scala☆15Jul 7, 2017Updated 8 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Nov 2, 2013Updated 12 years ago
- A comprehensive jmh-based benchmark on various RTree configurations for Dave Moten's rtree implementation.☆11Mar 24, 2017Updated 8 years ago
- Checks if version of GraphQL schema is backward compatible☆11Feb 27, 2018Updated 8 years ago
- Abusing higher-kinded types to generate SQL.☆25Mar 9, 2025Updated last year
- Parallel Byzantine Fault Tolerance (R&D)☆11Dec 14, 2017Updated 8 years ago
- ☆14Jun 5, 2023Updated 2 years ago
- Ultra-high-performance local IPC framework with Zipkin tracing to conduct a beautiful symphony of (brotherhood) build tooling.☆10Jan 8, 2021Updated 5 years ago
- TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus☆22Dec 14, 2021Updated 4 years ago
- Formal proof in Coq of Banach-Tarski paradox.☆19Feb 23, 2026Updated 3 weeks ago
- GraalVM native-image as a docker container☆13Oct 11, 2018Updated 7 years ago
- Verified hash-based AMQ structures in Coq☆124Apr 13, 2020Updated 5 years ago
- Coq definitions and lemmas for verification of Casper☆19Aug 15, 2019Updated 6 years ago
- Typeclasses for serialization in scala☆15Jun 19, 2025Updated 9 months ago
- A certified semantics for relational programming workout.☆26Oct 15, 2020Updated 5 years ago
- newtype and refinement (refined) type for Scala 3☆14Mar 9, 2026Updated last week
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Feb 6, 2020Updated 6 years ago
- An sbt plugin to organize your build using plain Scala files☆30Mar 19, 2023Updated 3 years ago
- Following http://rogueliketutorials.com/ ...but with Scala and Indigo.☆28Jan 29, 2022Updated 4 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Dec 30, 2021Updated 4 years ago
- A SBT plugin for comparing benchmarks in your PRs☆17May 8, 2023Updated 2 years ago
- Base library for Rüstigraben☆18Dec 5, 2020Updated 5 years ago
- Unique Functional Values for Scala☆17Sep 3, 2024Updated last year
- Smart contract hacking challenge introduced in my talk at DEFCON 28 - Blockchain Village☆23Aug 13, 2021Updated 4 years ago
- ☆43May 16, 2019Updated 6 years ago
- ☆57Jul 13, 2017Updated 8 years ago
- Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020☆23Apr 12, 2024Updated last year
- Minimal hello world using Scala 3 (Dotty) and running as GraalVM native-image☆33Sep 15, 2020Updated 5 years ago
- A lightweight Reactive Streams Infrastructure Toolkit for Scala.☆173Jun 18, 2018Updated 7 years ago