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:
- ☆22Jun 15, 2026Updated 2 weeks ago
- Operating system demonstrating system transactions☆18Apr 19, 2017Updated 9 years ago
- OCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)☆15Apr 21, 2019Updated 7 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Linux kernel with Capsicum support☆213Jun 3, 2020Updated 6 years ago
- Linux Security Module Stacking☆10Apr 25, 2026Updated 2 months ago
- High-performance, in-kernel key-value store☆19Dec 15, 2025Updated 6 months ago
- A fixed-size, zero-allocation circular buffer for Rust☆16Mar 29, 2025Updated last year
- 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 simple implementation of an 'echo' (port 7) server using epoll (Linux), kqueue (FreeBSD), and IOCompletionPorts (Windows).☆14Nov 19, 2018Updated 7 years ago
- eRPC library for Rust☆14Jan 16, 2020Updated 6 years ago
- 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 6 months 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.
- Scripts and configs to easily generate an OpenStack demo setup☆11Feb 18, 2021Updated 5 years ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14May 1, 2026Updated last month
- ☆11Apr 19, 2018Updated 8 years ago
- Rust In-Memory Filesystem☆18Nov 28, 2019Updated 6 years ago
- The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages as development tutorial)☆69Jan 17, 2022Updated 4 years ago
- Linearizability Visualizer☆10Jan 24, 2015Updated 11 years ago
- Helper code for dm-log-writes target.☆13Jul 9, 2024Updated last year
- ☆15Jan 25, 2018Updated 8 years ago
- C library to read Metalink XML download description format☆25Oct 12, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆109Aug 18, 2022Updated 3 years ago
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆16Oct 16, 2025Updated 8 months ago
- Library wrapper and system-level tracing utilities☆47Feb 22, 2017Updated 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
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Dec 30, 2023Updated 2 years ago
- CSAW 2017 Embedded Security Challenge☆12Jun 7, 2018Updated 8 years ago
- Personnal programms for AVR FlashForth☆12Feb 26, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆44Dec 11, 2022Updated 3 years ago
- ☆16May 30, 2026Updated last month
- Utilities for geek.☆10Mar 20, 2016Updated 10 years ago
- BadgerTrap is a tool to instrument x86-64 TLB misses.☆13Nov 13, 2016Updated 9 years ago
- Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"☆13May 17, 2022Updated 4 years ago
- ☆14Nov 10, 2019Updated 6 years ago
- ☆20May 11, 2025Updated last year