University of Waterloo ECE254 Operating Systems and System Programming Lab Starter Files and Documentations
☆35Oct 19, 2017Updated 8 years ago
Alternatives and similar repositories for ECE254
Users that are interested in ECE254 are comparing it to the libraries listed below
Sorting:
- A TypeScript penumbra SDK☆18Aug 4, 2022Updated 3 years ago
- ☆10Feb 3, 2023Updated 3 years ago
- The Redis protocol on top of LevelDB, written in Go (WIP)☆58Jan 4, 2014Updated 12 years ago
- Study Guide for COS 418☆11May 24, 2017Updated 8 years ago
- rocketmq source code comments☆10Jun 29, 2022Updated 3 years ago
- The entry point for Rust projects to be run on Valida☆10Mar 14, 2025Updated 11 months ago
- Celestia derivation pipeline and proof crate built with kona☆15Dec 19, 2025Updated 2 months ago
- Debian packages for Kyoto Cabinet, a fast database library☆17Mar 8, 2011Updated 14 years ago
- A confidential VM running unmodified container images in AWS Nitro Enclaves☆12Jan 5, 2026Updated 2 months ago
- Raccoon Signature Scheme -- Reference Code☆13Jul 12, 2023Updated 2 years ago
- Library containing the definition of S-expressions and some base converters☆20Jan 15, 2026Updated last month
- Using various tools to rediscover popsicle exploit☆15Mar 10, 2022Updated 3 years ago
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- Ethereum event tracker☆17Nov 28, 2021Updated 4 years ago
- implentation of Ligerito☆19Nov 9, 2025Updated 3 months ago
- Fuel v2 transaction processing module in Rust.☆14Jan 3, 2023Updated 3 years ago
- Course Project COP6726-Database System Implementation☆13Apr 12, 2014Updated 11 years ago
- Simple, filesystem-based caching for Racket☆17Jun 28, 2022Updated 3 years ago
- Designatived verifier Schnorr signatures☆13Nov 4, 2022Updated 3 years ago
- ☆12Jun 14, 2020Updated 5 years ago
- ☆15Jul 8, 2021Updated 4 years ago
- Collections Library for Adapton, in Rust☆13Sep 1, 2017Updated 8 years ago
- Yet another educational x86 protected mode kernel. This time in Rust lang.☆11Mar 25, 2018Updated 7 years ago
- Efficient constant-time implementations of SKINNY-128☆12Dec 24, 2024Updated last year
- Code for my old personal website☆13Jan 6, 2023Updated 3 years ago
- Our extravaganza in building cool systems that involve multiple computational devices.☆10Mar 20, 2015Updated 10 years ago
- Ubeswap smart contracts 🍠 📝☆14Jun 24, 2024Updated last year
- ☆18Feb 7, 2021Updated 5 years ago
- JIT compiler from scratch, derived from Nick Desaulniers' great work☆12Oct 24, 2016Updated 9 years ago
- ☆15Jan 23, 2019Updated 7 years ago
- WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023☆14Nov 18, 2024Updated last year
- Whetstone Research's docs☆16Apr 22, 2025Updated 10 months ago
- ☆14Nov 9, 2017Updated 8 years ago
- A trust-minimized cross-chain execution environment.☆15Oct 8, 2025Updated 4 months ago
- IPC implementation atop CometBFT☆17Jan 11, 2024Updated 2 years ago
- Planq is a scalable and interoperable Ethereum library, built on Proof-of-Stake with fast-finality using the Cosmos SDK.☆19Updated this week
- Basic Database System implemented for MDBS course☆13Jun 17, 2014Updated 11 years ago
- Compiler for stack manipulation in Michelson☆15Dec 19, 2018Updated 7 years ago
- chiTCP - A simple, testable TCP stack☆17Nov 15, 2024Updated last year