☆20Aug 7, 2024Updated 2 years ago
Alternatives and similar repositories for futex-tutorial
Users that are interested in futex-tutorial are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆32Mar 4, 2024Updated 2 years ago
- 100% MFU or bust.☆11Jan 12, 2026Updated 9 months ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated last year
- A demontration of disassemblers generated by sleigh2rust☆13Nov 25, 2024Updated last year
- ☆30May 8, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …☆66Jul 4, 2025Updated last year
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Jul 18, 2023Updated 3 years ago
- A runtime-independent crate for transforming Wasm-DWARF☆12Mar 11, 2020Updated 6 years ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Jul 8, 2026Updated 3 months ago
- ☆22Oct 12, 2026Updated 2 weeks ago
- A pure-Rust library for VMware host-guest protocol ("VMXh backdoor")☆17May 20, 2026Updated 5 months ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆22Mar 29, 2026Updated 7 months ago
- OCEAN – Open-source CXL Emulation at Hyperscale Architecture and Networking☆14Feb 9, 2026Updated 8 months ago
- Examples for TLAPS (TLA+ Proof System)☆17May 9, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆43Oct 16, 2024Updated 2 years ago
- Formalization of DBSP☆42Aug 22, 2023Updated 3 years ago
- Verifying concurrent storage and distributed systems☆253Updated this week
- https://kernel.guide☆14Oct 1, 2026Updated 3 weeks ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 4 years ago
- Official resporitory for "IPDPS' 24 QSync: Quantization-Minimized Synchronous Distributed Training Across Hybrid Devices".☆20Feb 23, 2024Updated 2 years ago
- 基于FPGA实现用户态中断硬件机制与优化操作系统内核☆10Apr 1, 2025Updated last year
- ☆13Apr 13, 2026Updated 6 months ago
- persistent kernel sample implementation of iterative stencil solver and conjugate gradient solver☆14May 24, 2023Updated 3 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.
- ☆28Mar 2, 2023Updated 3 years ago
- Framework of pa code for THU compiler principle course.☆13Dec 18, 2019Updated 6 years ago
- Virtual block devices on Linux☆20Jan 2, 2020Updated 6 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆19Aug 19, 2024Updated 2 years ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆244Updated this week
- A vibrant visualizer for Tenstorrent hardware written in Rust☆15Oct 16, 2026Updated last week
- Learning materials for Taskflow programming☆13Feb 9, 2026Updated 8 months ago
- Verus-verified implementation of Ironfleet Sharded Hash Table key-value store☆12Sep 22, 2026Updated last month
- Handwritten GEMM using Intel AMX (Advanced Matrix Extension)☆17Jan 11, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- OptiX Software Development Kit☆14Jan 13, 2026Updated 9 months ago
- Course website for Advanced Operating Systems☆12Apr 8, 2022Updated 4 years ago
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Apr 30, 2026Updated 5 months ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆26Apr 28, 2026Updated 6 months ago
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆42Nov 29, 2025Updated 11 months ago
- Collection of Useful Features of the Coq Proof Assistant☆10Mar 27, 2024Updated 2 years ago
- A formatter for TLA+ specs☆15Oct 14, 2026Updated 2 weeks ago