HiStar operating system (not under active development)
☆32Apr 11, 2018Updated 8 years ago
Alternatives and similar repositories for histar
Users that are interested in histar are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Linux kernel - See Landlock issues☆47Apr 10, 2026Updated last month
- GrapeVine, a gossip protocol implementation w/failure detection, for building fault-tolerant, self-managing cluster of node.js processes☆25Jun 20, 2016Updated 9 years ago
- ☆22May 11, 2026Updated last week
- Operating system demonstrating system transactions☆17Apr 19, 2017Updated 9 years ago
- OCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)☆15Apr 21, 2019Updated 7 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.
- Rust Bindings for CRIU☆24Apr 27, 2026Updated 3 weeks ago
- Open-source library for ORAM implementations☆11Apr 15, 2020Updated 6 years ago
- Linux kernel source tree with changes to support LVBS with Hyper-V☆21Sep 12, 2024Updated last year
- ☆211May 3, 2022Updated 4 years ago
- p2p gossip protocol w/ incremental diffs & failure detection for a fault-tolerant, self-managing cluster or mesh (for node.js)☆14Sep 22, 2014Updated 11 years ago
- 💧 A simple x86-64 kernel written in C☆20Jan 7, 2022Updated 4 years ago
- Zplot: a Python-based plotting tool to make simple EPS, PDF, and SVG graphs☆26Oct 21, 2020Updated 5 years ago
- ☆20Jul 18, 2022Updated 3 years ago
- eRPC library for Rust☆14Jan 16, 2020Updated 6 years 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.
- Python based command line Gist management. Easy access to read and create Gists / snippets.☆15Jul 20, 2020Updated 5 years ago
- Jenkins WebInspect Plugin Publisher provides the ability to upload a WebInspect scan file, from your Jenkins server to your Fortify Softw…☆11Dec 23, 2025Updated 4 months ago
- ☆25Jun 16, 2021Updated 4 years ago
- The bootloader used for the ARM port - Automatically replicated from gerrit.minix3.org☆21May 1, 2017Updated 9 years ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14May 1, 2026Updated 2 weeks ago
- Rust In-Memory Filesystem☆17Nov 28, 2019Updated 6 years ago
- Linearizability Visualizer☆10Jan 24, 2015Updated 11 years ago
- Helper code for dm-log-writes target.☆13Jul 9, 2024Updated last year
- For engineers seeking predictable performance, Rapto provides a micro-latency in-memory KV store built around near zero-copy design, cach…☆23May 10, 2026Updated last week
- 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.
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆109Aug 18, 2022Updated 3 years ago
- Library wrapper and system-level tracing utilities☆47Feb 22, 2017Updated 9 years ago
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆15Oct 16, 2025Updated 7 months ago
- ☆13Dec 30, 2016Updated 9 years ago
- Tiniest ELF (Executable and Linkable Format) executable☆14Aug 27, 2018Updated 7 years ago
- Perfect hash fn generator☆15Sep 27, 2013Updated 12 years ago
- RISC-V port of the OCaml system☆45Sep 17, 2020Updated 5 years ago
- MIND: In-Network Memory Management for Disaggregated Data Centers☆44Jul 23, 2025Updated 9 months ago
- Yet another toy processor implementation☆15Aug 19, 2021Updated 4 years 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.
- VeriBetrKV OSDI'20 artifact☆13Sep 5, 2020Updated 5 years ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Dec 30, 2023Updated 2 years ago
- A plugin for presenting an IPFS gateway over i2p☆17Apr 25, 2020Updated 6 years ago
- Base Ubuntu image for the ownCloud stack☆11May 12, 2026Updated last week
- VSort is a lightning-fast sorting library that harnesses the unique architecture of Apple Silicon processors to deliver exceptional perfo…☆19Jan 15, 2026Updated 4 months ago
- Scheduler scoreboard is a single toolkit to capture and report all the data related to the Linux Kernel Scheduler which can help analyze …☆17Feb 14, 2025Updated last year
- ☆14Apr 3, 2026Updated last month