Kernel Module that implements Paxos protocol
☆12Oct 23, 2020Updated 5 years ago
Alternatives and similar repositories for Kernel_Paxos
Users that are interested in Kernel_Paxos are comparing it to the libraries listed below
Sorting:
- Prefix-Aware Attention for LLM Decoding☆29Jan 23, 2026Updated last month
- Proper Way to Format PHP in Zed (Laravel Pint)☆13Oct 2, 2025Updated 5 months ago
- netbeacon - monitoring your network capture, NIDS or network analysis process☆19Oct 26, 2013Updated 12 years ago
- [ICDCS 2023] Evaluation and Optimization of Gradient Compression for Distributed Deep Learning☆10Apr 28, 2023Updated 2 years ago
- Code accompanying the NeurIPS 2019 paper AutoAssist: A Framework to Accelerate Training of Deep Neural Networks.☆14Oct 3, 2022Updated 3 years ago
- Easy, flexible C unit testing☆11Feb 13, 2016Updated 10 years ago
- A delicious Python treat that makes on-target testing sweet and satisfying.☆40Mar 20, 2025Updated 11 months ago
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- An extensible and high level FFI☆19May 17, 2012Updated 13 years ago
- A simple spidergon network-on-chip with wormhole switching feature☆12Mar 22, 2021Updated 4 years ago
- FPGA-based HyperLogLog Accelerator☆12Jul 13, 2020Updated 5 years ago
- This is tcllauncher, a launcher program for Tcl applications.☆20Nov 8, 2021Updated 4 years ago
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 10 months ago
- This repo hosts the famfs kernel patch sets as branches☆11Jan 18, 2026Updated last month
- ☆11Sep 6, 2025Updated 5 months ago
- 🧏 Detection of the alphabets in American Sign Language (ASL).☆11Jun 14, 2021Updated 4 years ago
- ☆11Oct 21, 2023Updated 2 years ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆17Updated this week
- A proof-of-concept Gen-Z subsystem for Linux written against the Gen-Z Fabric Emulation Environment.☆11May 8, 2019Updated 6 years ago
- Basic C++ library☆13Mar 21, 2023Updated 2 years ago
- ☆10May 16, 2021Updated 4 years ago
- Ruby API and Command Line Interface for Zabbix configuration☆12Jul 10, 2019Updated 6 years ago
- ☆11Mar 13, 2023Updated 2 years ago
- VMWare tools for CoreOS in Docker image☆17Sep 5, 2014Updated 11 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 3 years ago
- Handheld Battery AC and Time Domain characterization tool on Attiny series 2☆14Jan 15, 2024Updated 2 years ago
- PSTensor provides a way to hack the memory management of tensors in TensorFlow and PyTorch by defining your own C++ Tensor Class.☆10Feb 10, 2022Updated 4 years ago
- Peking University Convex Optimization Course given by Professor Wen Zaiwen☆11Jan 11, 2018Updated 8 years ago
- The libtool accelerator: A miniature frontend for libtool that replaces libtool on sensible systems, and simply calls GNU libtool on eve…☆20Jun 1, 2014Updated 11 years ago
- ☆12May 18, 2024Updated last year
- A fork of APIviz with out of the box support for classes compiled with Java 8.☆10Apr 15, 2018Updated 7 years ago
- This plugin is for pasting formatted text and provide sub-menu options inside it to paste from user clipboard. The sub-menu will contain …☆12Jan 9, 2022Updated 4 years ago
- A collection of tools to build secure Apps☆13Jan 24, 2022Updated 4 years ago
- Script for system monitoring☆13Nov 30, 2012Updated 13 years ago
- How to plot for papers, slides, demos, etc.☆10Apr 7, 2022Updated 3 years ago
- ☆13Jan 21, 2022Updated 4 years ago
- Apple Open Directory to Samba 4 Active Directory Domain Controller migration tools☆12Jan 27, 2021Updated 5 years ago
- 🛠Robust SSH: auto-reconnect SSH session that preserves your running shell and command. Intuitive, no server-side setup, aimed at simplic…☆13Nov 14, 2025Updated 3 months ago