☆31Jun 2, 2023Updated 2 years ago
Alternatives and similar repositories for ron-osdi2023
Users that are interested in ron-osdi2023 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"☆21Nov 6, 2024Updated last year
- https://rs3lab.github.io/SynCord/☆26Nov 23, 2022Updated 3 years ago
- 利用台科大學生資訊系統的資料生成成績單☆14Apr 23, 2020Updated 5 years ago
- Hardware-centric Linux kernel debloater☆15Nov 28, 2023Updated 2 years ago
- Official PyTorch Code for "Dynamic Temperature Knowledge Distillation"☆11Mar 28, 2025Updated last year
- 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.
- A flexible Python Kconfig implementation☆19Mar 21, 2026Updated 2 weeks ago
- Linux kernel to support Mellanox BlueField SoCs☆14Nov 13, 2019Updated 6 years ago
- SKI virtual machine for testing concurrency bugs☆13Nov 25, 2015Updated 10 years ago
- VeriBetrKV OSDI'20 artifact☆13Sep 5, 2020Updated 5 years ago
- A "phase-fair" reader-writer spinlock☆11Jan 30, 2023Updated 3 years ago
- A hand-written recursive decent Verilog parser.☆10Jan 30, 2026Updated 2 months ago
- ☆12Oct 21, 2018Updated 7 years ago
- Alerting or notifying on SSH logins☆14Apr 3, 2025Updated last year
- Polar Decoder☆12Jan 19, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An OpenRISC 1000 multi-core virtual platform based on SystemC/TLM☆16Mar 25, 2025Updated last year
- Falcon: Fast OLTP Engine for Persistent Cache and Non-Volatile Memory☆11Nov 1, 2023Updated 2 years ago
- A simple multitasking OS kernel☆110Feb 4, 2026Updated 2 months ago
- An implementation of the IETF QUIC protocol in F*☆20Aug 8, 2019Updated 6 years ago
- C语言，基于mark-sweep算法实现的垃圾回收机制☆12Dec 20, 2018Updated 7 years ago
- Various Perl utilities, mostly related to coastal engineering and hydrodynamic modeling☆12Apr 1, 2025Updated last year
- Tutorial with example on how to create a JavaScript game using Phaser.io and run it on GameShell using NWjs☆13Aug 10, 2018Updated 7 years ago
- Mellanox BlueField PKA support☆22Jan 15, 2026Updated 2 months ago
- ☆10Feb 22, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A Community Checkin with Interactivity Project Server☆32Feb 20, 2026Updated last month
- DDIR: An Open Source Dataset for Darkweb Research☆15Oct 28, 2019Updated 6 years ago
- Integrated Circuit Design Contest (ICDC) - 大學院校積體電路設計競賽☆24Apr 20, 2022Updated 3 years ago
- CTF tools for RSA☆45Jun 24, 2016Updated 9 years ago
- NVIDIA yum and dnf plugins for RHEL driver packages☆11Dec 16, 2024Updated last year
- ChatGPT 背後的數學與程式☆54Aug 14, 2024Updated last year
- here is AI Service samples☆11Jun 7, 2023Updated 2 years ago
- Fugle Realtime API client library for Node.js☆11Dec 16, 2022Updated 3 years ago
- A LevelDB for implementing LSM-related papers☆11Aug 7, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- uacatcher open source repo☆22Jul 22, 2023Updated 2 years ago
- Slurm Examples☆10Aug 30, 2024Updated last year
- ☆12Sep 28, 2015Updated 10 years ago
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆24Jun 2, 2023Updated 2 years ago
- 玉山銀行信用卡網路收單金流 API Payment Library for Esun ACQ☆14May 11, 2016Updated 9 years ago
- The website of the Rocky Linux Taiwan Community.☆10Jan 24, 2023Updated 3 years ago
- A user-level TCP/IP stack with NIC offload of stateful TCP operations☆72Sep 2, 2020Updated 5 years ago