☆30Dec 12, 2021Updated 4 years ago
Alternatives and similar repositories for ward
Users that are interested in ward are comparing it to the libraries listed below
Sorting:
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- POSIX-like scalable multicore research OS kernel☆197Apr 16, 2020Updated 5 years ago
- Adelie's source code☆12Mar 2, 2022Updated 4 years ago
- A reusable, extensible, and efficient C++ implementation of the Foster B-tree data structure☆15Jun 26, 2019Updated 6 years ago
- Thousand Island Scanner: Scaling Video Analysis on AWS Lambda☆13Oct 25, 2019Updated 6 years ago
- AEON is an In-place file system designed for non-volatile memories.☆15Jun 23, 2019Updated 6 years ago
- Minimal tool for measuring cost of mode switch☆15Jun 26, 2021Updated 4 years ago
- Lab assignments for 6.826☆17Oct 20, 2020Updated 5 years ago
- ☆17Oct 9, 2023Updated 2 years ago
- Prototype implementation and extended paper of SDPaxos☆16Nov 30, 2018Updated 7 years ago
- Blind signatures over secp256k1 elliptic curve☆17May 17, 2022Updated 3 years ago
- ☆21Aug 30, 2025Updated 6 months ago
- ☆25Jun 2, 2024Updated last year
- ☆51Mar 13, 2024Updated last year
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20May 4, 2022Updated 3 years ago
- A Erlang binding to the systemd journal C API☆33Apr 18, 2017Updated 8 years ago
- ☆48Apr 11, 2023Updated 2 years ago
- Benchmarking In-Memory Index Structures☆26Jan 14, 2019Updated 7 years ago
- Hodor-PKU☆26Sep 14, 2021Updated 4 years ago
- type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc☆31Jun 6, 2020Updated 5 years ago
- Pythia is a set of RDMA-based remote side-channel attacks. USENIX Security 2019.☆30Oct 24, 2020Updated 5 years ago
- Apps for running with the rumprun unikernel on seL4.☆33Updated this week
- ☆55Mar 30, 2020Updated 5 years ago
- A benchmark for testing the performance of core Linux functionalities, developed by Xiang Ren, Kirk Rodrigues, Luyuan Chen and Camilo Veg…☆65Jul 3, 2024Updated last year
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.☆36Jan 17, 2020Updated 6 years ago
- ☆33Oct 9, 2017Updated 8 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…☆12May 22, 2018Updated 7 years ago
- Clone of JSAI static analysis framework☆13Jul 29, 2017Updated 8 years ago
- ☆16Feb 16, 2026Updated 2 weeks ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Jul 6, 2017Updated 8 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- Machine learning on serverless platform☆10Jul 2, 2022Updated 3 years ago
- Fast I/O plugins for Spark☆41Dec 14, 2020Updated 5 years ago
- ☆33Updated this week
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆10Feb 3, 2020Updated 6 years ago
- This repository contains lab assignments done in the course CS220: Computer Organization at IIT Kanpur☆10Aug 8, 2019Updated 6 years ago
- IITK CSE 5th semester course materials, lecture notes, assignments, and resources for CS-330, CS-340, CS-345, CS-771, and ESO-201☆11Aug 20, 2025Updated 6 months ago