HiStar operating system (not under active development)
☆33Apr 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:
- Operating system demonstrating system transactions☆18Apr 19, 2017Updated 9 years ago
- Open-source library for ORAM implementations☆12Apr 15, 2020Updated 6 years ago
- Rust Bindings for CRIU☆28Updated this week
- Linux kernel source tree with changes to support LVBS with Hyper-V☆22Sep 12, 2024Updated 2 years ago
- ☆215May 3, 2022Updated 4 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.
- Linux Security Module Stacking☆10Aug 27, 2026Updated 3 weeks 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☆19Jan 7, 2022Updated 4 years ago
- SQL query interface to C++ collections and C data structures. Also configurable as a loadable Linux kernel module and an extension to Val…☆15Jul 15, 2018Updated 8 years ago
- ☆20Jul 18, 2022Updated 4 years ago
- a tool designed to help perform and visualize trace-driven cache attacks against software in the secure world of TrustZone-enabled ARMv8 …☆87May 13, 2019Updated 7 years ago
- A fixed-size, zero-allocation circular buffer for Rust☆16Mar 29, 2025Updated last year
- eRPC library for Rust☆14Jan 16, 2020Updated 6 years ago
- A high level Rust crate for creating zsh modules☆39Jan 24, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A simple implementation of an 'echo' (port 7) server using epoll (Linux), kqueue (FreeBSD), and IOCompletionPorts (Windows).☆14Nov 19, 2018Updated 7 years ago
- Python based command line Gist management. Easy access to read and create Gists / snippets.☆16Sep 5, 2026Updated 2 weeks ago
- SD card bootloader for Ultimaker2☆13Mar 29, 2015Updated 11 years ago
- ☆25Jun 16, 2021Updated 5 years ago
- ☆11Jun 10, 2024Updated 2 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 8 months ago
- The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages as development tutorial)☆70Jan 17, 2022Updated 4 years ago
- Scripts and configs to easily generate an OpenStack demo setup☆11Feb 18, 2021Updated 5 years ago
- Network Block Device (NBD) server and client written in Rust☆14Dec 4, 2024Updated 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.
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14Updated this week
- Linearizability Visualizer☆10Jan 24, 2015Updated 11 years ago
- Rust In-Memory Filesystem☆18Nov 28, 2019Updated 6 years ago
- The bootloader used for the ARM port - Automatically replicated from gerrit.minix3.org☆23May 1, 2017Updated 9 years ago
- Compact Proofs of Retrievability☆13May 28, 2014Updated 12 years ago
- vTPM with SGX protection☆12May 30, 2019Updated 7 years ago
- Tiniest ELF (Executable and Linkable Format) executable☆14Aug 27, 2018Updated 8 years ago
- Perfect hash fn generator☆16Sep 27, 2013Updated 12 years ago
- Occlum's fork of Intel SGX SDK for Linux☆13Jul 31, 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.
- Library wrapper and system-level tracing utilities☆47Feb 22, 2017Updated 9 years ago
- ☆13Dec 30, 2016Updated 9 years ago
- Personnal programms for AVR FlashForth☆12Feb 26, 2022Updated 4 years ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Dec 30, 2023Updated 2 years ago
- Rumprun (SMP version)☆11Jan 4, 2021Updated 5 years ago
- Base Ubuntu image for the ownCloud stack☆11Updated this week
- VSort is a lightning-fast sorting library that harnesses the unique architecture of Apple Silicon processors to deliver exceptional perfo…☆18Jan 15, 2026Updated 8 months ago