☆14Sep 27, 2026Updated last month
Alternatives and similar repositories for CXLcacheFormalisation
Users that are interested in CXLcacheFormalisation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆15May 7, 2022Updated 4 years ago
- ☆11Nov 19, 2015Updated 10 years ago
- A standalone CXL-enabled system simulator.☆21Sep 25, 2026Updated last month
- The official repository for the gem5 computer-system architecture simulator.☆16Sep 7, 2026Updated last month
- This is an read-only mirror of the gem5 simulator. The upstream repository is stored in https://gem5.googlesource.com, code reviews shoul…☆39Jul 20, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A tiny 3-stage RISC-V core written in Chisel.☆18Apr 14, 2023Updated 3 years ago
- ☆14Oct 13, 2026Updated 2 weeks ago
- A full-system, cycle-level simulator based on gem5 that provides complete support for all three CXL sub-protocols and all three types of …☆173May 11, 2026Updated 5 months ago
- A curated list of open-source projects that help leverage CXL technology.☆30Sep 26, 2024Updated 2 years ago
- [ASPLOS 2026, Best Paper Honorable Mention] Highly Automated Verification of Security Properties for Unmodified System Software☆21Oct 21, 2026Updated last week
- general collection of notes☆10Oct 8, 2018Updated 8 years ago
- BuDDy BDD package (with CMake support)☆16May 7, 2024Updated 2 years ago
- minos desktop tools☆19Nov 23, 2020Updated 5 years ago
- Open-source library for Graph Streaming. Solves the connected components problem using sub-linear space. Published in SIGMOD'22.☆11Apr 6, 2026Updated 6 months 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.
- This repository contains the source code for our ACM SIGMOD '21 paper (Maximizing Persistent Memory Bandwidth Utilization for OLAP Worklo…☆21Jul 27, 2022Updated 4 years ago
- Designs of first-order SCA-secure hardware implementations of AES encryption/decryptoin dedicated to Xilinx FPGAs (using BRAM)☆19Dec 24, 2020Updated 5 years ago
- STREAMer: Benchmarking remote volatile and non-volatile memory bandwidth☆18Aug 21, 2023Updated 3 years ago
- ☆20Mar 10, 2022Updated 4 years ago
- We solve the two challenges architects face when designing heterogeneous processors with cache coherent shared memory. First, we develop …☆22Jan 7, 2022Updated 4 years ago
- CXL Management Interface library☆28Aug 15, 2026Updated 2 months ago
- Use hardware performance counters to find mapping of addresses to L3 slices in Intel processors☆18Jul 30, 2023Updated 3 years ago
- Port of Facebook's LLaMA model in C/C++☆21Nov 6, 2023Updated 2 years ago
- ☆16Mar 18, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- This is the repo of "RR-Compound: RDMA-Fused gRPC for Low Latency and High Throughput With an Easy Interface" published in TPDS☆29Mar 12, 2025Updated last year
- Framework of pa code for THU compiler principle course.☆13Dec 18, 2019Updated 6 years ago
- ☆38Oct 4, 2026Updated 3 weeks ago
- Range Optimized Adaptive Radix Tree☆25Feb 1, 2023Updated 3 years ago
- A Cycle-level simulator for M2NDP☆48Aug 14, 2025Updated last year
- ☆19Dec 12, 2023Updated 2 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆20Jun 21, 2015Updated 11 years ago
- An Implementation for Single-node Big Key-value Cache designed for operating on All-flash-array (AFA)☆10Mar 7, 2023Updated 3 years ago
- Run xv6 on Windows☆15Mar 23, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆25Mar 31, 2022Updated 4 years ago
- Capture screen content with xlib in rust☆12May 22, 2017Updated 9 years ago
- [OSDI'25] QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach☆10Jun 20, 2025Updated last year
- The Ultimate Online Judge Platform.☆21Mar 23, 2026Updated 7 months ago
- OCEAN – Open-source CXL Emulation at Hyperscale Architecture and Networking.☆35Aug 24, 2026Updated 2 months ago
- Note repository for studying Peripheral Component Interconnect Express (PCIe) and Compute Express Link (CXL).☆17Feb 17, 2025Updated last year
- CPU + xv6 + compiler☆18Feb 7, 2018Updated 8 years ago