Course assignments
☆10Jan 11, 2018Updated 8 years ago
Alternatives and similar repositories for Reliable-Distributed-Algorithms
Users that are interested in Reliable-Distributed-Algorithms are comparing it to the libraries listed below
Sorting:
- ☆12Mar 15, 2021Updated 5 years ago
- Kotlin jvm + android packages for bdk-ffi☆12Nov 15, 2022Updated 3 years ago
- ☆11Sep 9, 2021Updated 4 years ago
- Generic embedded distributed request rate limiting service for erlang applications☆10Mar 7, 2016Updated 10 years ago
- This is the source code for our (Matthias Jasny, Lasse Thostrup, Tobias Ziegler and Carsten Binnig) published paper at SIGMOD’22: P4DB - …☆13Jan 24, 2023Updated 3 years ago
- Dual-Adversarial Domain Adaptation for replay spoofing detection in automatic speaker verification.☆19Oct 28, 2025Updated 4 months ago
- The Subutai™ Router open hardware project sources.☆15Oct 2, 2017Updated 8 years ago
- Minimalistic implementation of Naiad paper "A Timely Dataflow System" in Scala☆12Jul 13, 2020Updated 5 years ago
- This is a library which implements [RFC 3986](https://tools.ietf.org/html/rfc3986), "Uniform Resource Identifier (URI): Generic Syntax".☆14Mar 29, 2021Updated 4 years ago
- Switch-based Training Acceleration for Machine Learning (SwitchML)☆16Apr 13, 2021Updated 4 years ago
- notes I've made from books I've read, courses I've taken etc☆17Oct 7, 2025Updated 5 months ago
- Vector clock implementation for distributed systems, in Rust☆10Jul 22, 2015Updated 10 years ago
- Chips 2.0 Demo for Atlys Spartan 6 development platform. Web app using C to Verilog TCP/IP server.☆16Jan 10, 2018Updated 8 years ago
- 📓 A LaTeX template for writing thesis report for RUET☆12Jan 7, 2016Updated 10 years ago
- ABANDONED. I'm not using nor working on this any more. A plugin to debug programs in Sublime Text 2 using the LLDB debugger. (Let me know…☆27Jul 25, 2016Updated 9 years ago
- This is the RTL implementation of Shenjing, a low power neuromorphic computing accelerator☆17Apr 12, 2020Updated 5 years ago
- Find whole sentences matching a regex in Project Gutenberg☆32Feb 5, 2023Updated 3 years ago
- Slides from Kubecon 2018☆18Dec 14, 2018Updated 7 years ago
- free yourself from yinyangshi☆12Dec 13, 2016Updated 9 years ago
- Brent Yorgey's Typeclassopedia, translated to Scala☆26Nov 7, 2017Updated 8 years ago
- Futures implementation for JSON-RPC☆14May 29, 2019Updated 6 years ago
- CSE 351: The Hardware/Software Interface☆11Jul 26, 2020Updated 5 years ago
- Various tests, pocs and studies....☆12Dec 4, 2023Updated 2 years ago
- ☆13Jun 29, 2017Updated 8 years ago
- FPGA implementation of Real-time Ethernet communication using RMII Interface☆14Sep 18, 2014Updated 11 years ago
- Deprecated because of☆78Nov 26, 2015Updated 10 years ago
- This is a clone of an SVN repository at http://svn.terracotta.org/svn/ehcache. It had been cloned by http://svn2github.com/ , but the ser…☆13Jan 21, 2015Updated 11 years ago
- A C++ program that can tell statements to and ask a query from a first order logic based knowledge base. Inserting statements into the kn…☆12Mar 2, 2017Updated 9 years ago
- ☆10Jul 27, 2018Updated 7 years ago
- A utility harness for testing free programs (built on specs2)☆29May 4, 2021Updated 4 years ago
- ceres implementation of switchable constraints for robust pose graph slam☆15Nov 16, 2019Updated 6 years ago
- Kolja Thormann, Shishan Yang, and Marcus Baum. "A Comparison of Kalman Filter-based Approaches for Elliptic Extended Object Tracking (to …☆11Feb 24, 2022Updated 4 years ago
- ☆11Jun 4, 2025Updated 9 months ago
- Some notes to build and run P4 DPDK target☆23Aug 21, 2022Updated 3 years ago
- PHD Filter SLAM with CUDA☆22Jul 17, 2014Updated 11 years ago
- Message queue distributed framework based on Actix☆13Mar 13, 2019Updated 7 years ago
- Code and notes for "Bayesian Reasoning and Machine Learning☆15Oct 31, 2017Updated 8 years ago
- 💁 Counterfactual and Upgradable Self-Sovereign Identity for Ethereum, using Gnosis Safe☆15Sep 5, 2018Updated 7 years ago
- A Java-based Rate Limiter service for the Ambassador API gateway☆16Dec 14, 2021Updated 4 years ago