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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- Vector clock implementation for distributed systems, in Rust☆10Jul 22, 2015Updated 10 years ago
- Generic embedded distributed request rate limiting service for erlang applications☆10Mar 7, 2016Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Switch-based Training Acceleration for Machine Learning (SwitchML)☆16Apr 13, 2021Updated 5 years ago
- Dual-Adversarial Domain Adaptation for replay spoofing detection in automatic speaker verification.☆19Updated this week
- 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
- Minimalistic implementation of Naiad paper "A Timely Dataflow System" in Scala☆12Jul 13, 2020Updated 6 years ago
- The Subutai™ Router open hardware project sources.☆16Oct 2, 2017Updated 8 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 5 years ago
- CSE 351: The Hardware/Software Interface☆11Jul 26, 2020Updated 5 years ago
- notes I've made from books I've read, courses I've taken etc☆17Oct 7, 2025Updated 9 months ago
- Chips 2.0 Demo for Atlys Spartan 6 development platform. Web app using C to Verilog TCP/IP server.☆17Jan 10, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 📓 A LaTeX template for writing thesis report for RUET☆12Jan 7, 2016Updated 10 years ago
- The SoC for the introduction to chip design course spring 2026☆18May 22, 2026Updated last month
- For the React and Redux classes☆16Sep 29, 2025Updated 9 months ago
- This is the RTL implementation of Shenjing, a low power neuromorphic computing accelerator☆18Apr 12, 2020Updated 6 years ago
- Futures implementation for JSON-RPC☆14May 29, 2019Updated 7 years ago
- FPGA implementation of Real-time Ethernet communication using RMII Interface☆14Sep 18, 2014Updated 11 years ago
- Brent Yorgey's Typeclassopedia, translated to Scala☆26Nov 7, 2017Updated 8 years ago
- free yourself from yinyangshi☆12Dec 13, 2016Updated 9 years ago
- Various tests, pocs and studies....☆12Dec 4, 2023Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆13Jun 29, 2017Updated 9 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
- 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
- ☆10Jul 27, 2018Updated 7 years ago
- ceres implementation of switchable constraints for robust pose graph slam☆15Nov 16, 2019Updated 6 years ago
- A utility harness for testing free programs (built on specs2)☆28May 4, 2021Updated 5 years ago
- ☆23Oct 6, 2025Updated 9 months ago
- Go implementation of Kademlia protocol for Princeton COS 518☆12May 13, 2018Updated 8 years ago
- A Python program that tries to prove a statement given a set of propositions in first order logic.☆10Jul 13, 2015Updated 11 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 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
- ☆10Apr 28, 2026Updated 2 months ago
- PHD Filter SLAM with CUDA☆22Jul 17, 2014Updated 12 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
- Some notes to build and run P4 DPDK target☆23Aug 21, 2022Updated 3 years ago
- 💁 Counterfactual and Upgradable Self-Sovereign Identity for Ethereum, using Gnosis Safe☆15Sep 5, 2018Updated 7 years ago