☆16Aug 7, 2026Updated 2 months ago
Alternatives and similar repositories for Wallet-VMPL
Users that are interested in Wallet-VMPL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A minimal bootstrap scheme for fast boot of serverless microVMs with AMD Secure Encrypted Virtualization (SEV)☆15Feb 7, 2024Updated 2 years ago
- Implementation of the Reusable Enclaves paper☆15Sep 25, 2023Updated 3 years ago
- ☆16Sep 29, 2022Updated 4 years ago
- ☆11Jun 10, 2024Updated 2 years ago
- Source code of AsiaCCS'22 paper - RecIPE: Revisiting the Evaluation of Memory Error Defenses☆14Sep 19, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Evaluation code for confidential virtual machines (AMD SEV-SNP / Intel TDX)☆17Mar 12, 2026Updated 6 months ago
- PFI: Prompt Flow Integrity to Prevent Privilege Escalation in LLM Agents☆32Mar 26, 2025Updated last year
- ☆16Nov 11, 2025Updated 10 months ago
- Securing System Logs With Intel SGX☆17Mar 31, 2017Updated 9 years ago
- Dirigent: Lightweight Serverless Orchestration☆46Aug 26, 2025Updated last year
- Practical Tamper-Proof System Auditing☆15Oct 19, 2023Updated 2 years ago
- Code for the benchmarks presented in https://www.usenix.org/conference/atc18/presentation/boucher☆12Apr 18, 2019Updated 7 years ago
- ☆16Nov 13, 2023Updated 2 years ago
- Compartmentalised monolithic library OS☆22Jul 15, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Computer Systems Lab☆12Oct 16, 2025Updated 11 months ago
- ☆15Mar 29, 2020Updated 6 years ago
- ☆12Sep 10, 2021Updated 5 years ago
- Erebor: A Drop-In Sandbox Solution for Private Data Processing in Untrusted Confidential Virtual Machines, ACM EuroSys'25☆15Feb 6, 2026Updated 8 months ago
- ☆58Oct 2, 2026Updated last week
- A portable parser combinator library that does not require a runtime☆13Sep 16, 2019Updated 7 years ago
- Build tensorflow wheel for alpine☆10Jul 2, 2020Updated 6 years ago
- ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines☆23Nov 1, 2025Updated 11 months ago
- Oblivious HTTP☆26Jan 2, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Open-source keyboard firmware for Atmel AVR and Arm USB families☆11Feb 16, 2025Updated last year
- Research unikernel for virtualized services☆57Dec 6, 2022Updated 3 years ago
- 2022芯原杯全国嵌入式软件开发决赛作品☆10Aug 14, 2022Updated 4 years ago
- COCONUT-SVSM☆242Sep 30, 2026Updated last week
- Experimental Nix build management stuff☆24May 21, 2012Updated 14 years ago
- One weird unix trick☆25Apr 1, 2024Updated 2 years ago
- An HTTP Server for FPGAs☆18Sep 26, 2023Updated 3 years ago
- ColTraIn HBFP Training Emulator☆15Feb 16, 2023Updated 3 years ago
- An experimental edge key-value database built on top of FoundationDB.☆11Jan 9, 2025Updated last year
- 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.
- ☆14Mar 18, 2024Updated 2 years ago
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆18Jan 4, 2023Updated 3 years ago
- Rust implementation of a basic SPICE simulator☆11May 30, 2023Updated 3 years ago
- ☆11Jun 29, 2021Updated 5 years ago
- ☆14Oct 30, 2024Updated last year
- GitHub Action for generating a PDF from LaTeX☆17Oct 1, 2026Updated last week
- This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that app…☆21Jun 12, 2022Updated 4 years ago