Code for OSDI'24 Paper: IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded Intermittent Computing
☆13Apr 25, 2024Updated 2 years ago
Alternatives and similar repositories for IntOS
Users that are interested in IntOS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- BS3: Block device in S3☆13Apr 19, 2022Updated 4 years ago
- Dive Into Rust, 为了自己更好的去学习☆14Jul 29, 2025Updated last year
- ☆12Jan 12, 2024Updated 2 years ago
- ☆17Updated this week
- The Guidance For Installing dpu and some other stuff On Xilinx ZCU102☆15Jan 7, 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.
- ☆14Sep 13, 2026Updated last month
- ☆54Oct 10, 2024Updated 2 years ago
- An example app for BPF CO-RE and CI settings with GitHub Actions☆14Aug 23, 2022Updated 4 years ago
- BUSE: Block device in user space☆16Apr 19, 2022Updated 4 years ago
- ☆14May 10, 2024Updated 2 years ago
- Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)☆17Mar 18, 2025Updated last year
- Resource Allocation for Dynamic Demands☆25Aug 28, 2026Updated last month
- Rolling statistics calculations (min/max/mean/std_dev) over arbitrary floating point numbers based on Welford's Online Algorithm☆24Oct 3, 2025Updated last year
- Repo for Performance Interfaces for Hardware Accelerators.☆21Aug 19, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆14Jun 24, 2022Updated 4 years ago
- ☆11May 24, 2021Updated 5 years ago
- BTF introspection tool☆42Oct 4, 2026Updated 2 weeks ago
- ☆13Sep 3, 2026Updated last month
- 微信小程序二手书交易平台☆24Dec 18, 2019Updated 6 years ago
- Xilinx Embedded Software (embeddedsw) Development☆14Jun 30, 2026Updated 3 months ago
- ☆13Updated this week
- Set of scripts for managing Vitis workspaces with git.☆15Updated this week
- Datasets and code for the CRUST-bench paper.☆40Sep 17, 2026Updated last month
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆14Updated this week
- OCaml + Fly.io☆11Oct 1, 2026Updated 2 weeks ago
- ☆14Jan 25, 2023Updated 3 years ago
- A verbose CLI to probe go-ethereum data structures, built in rust.☆14Mar 3, 2023Updated 3 years ago
- ☆18May 3, 2024Updated 2 years ago
- C++20 SIMD Within A Register library☆52May 9, 2025Updated last year
- Unit test framework for OCaml☆11May 29, 2024Updated 2 years ago
- Code for "ConsistentChat: Building Skeleton-Guided Consistent Multi-Turn Dialogues for Large Language Models from Scratch", where dataset…☆17Sep 8, 2025Updated last year
- Example Encore app integrating with LLMs and Chat services☆11Nov 19, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 交大選課模擬器 / NCTU course selection simulator.☆20Sep 7, 2020Updated 6 years ago
- 機器學習技法(林軒田)_不負責任作業解答☆10Mar 6, 2020Updated 6 years ago
- ☆15Sep 25, 2023Updated 3 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆66May 3, 2025Updated last year
- A curated and practical guide to foundation models in computational pathology. This repo brings together key architectures, learning tech…☆17Aug 28, 2025Updated last year
- A safer FFI interface for OCaml☆11Jul 20, 2024Updated 2 years ago
- Notes on Advanced Placement Physics C: Electricity and Magnetism☆13May 13, 2019Updated 7 years ago