62 Open source projects that are alternatives of or similar to keyfender

Address resolution protocol (ARP) implementation in OCaml targeting MirageOS

OCaml implementation of the DNS protocol

A list about Unikernels

Implementation of XMPP for MirageOS

An opiniated file-system for MirageOS

A minimal setup for writing Unikernels in ReasonML

A TLS termination proxy as a MirageOS

MirageOS is a library operating system that constructs unikernels

X509 (RFC5280) handling in OCaml

Capstan, a tool for packaging and running your application on OSv.

Examples of simple MirageOS apps

Experimental portable bitmap framebuffer graphics for MirageOS

OCaml library for reporting metrics to a Prometheus server

HermitCore: A C-based, lightweight unikernel

A Hierarchical State Machine Framework in C++

C++ framework library to simplify state-driven code

Ultibo Core

A Go unikernel running on x86 bare metal

EbbRT: elastic building block runtime

Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel

Xen core platform libraries for MirageOS

A small subset of the submitted sample data from https://github.com/GrapheneOS/Auditor. It has a sample attestation certificate chain per device model (ro.product.model) along with a subset of the system properties from the sample as supplementary information.

Turn an Erlang/OTP application into a Unikernel image

A kernel designed to run one and only one application in a virtualized environment

ops - build and run nanos unikernels

A minimal, resource efficient unikernel for cloud services

Minimalistic Operating System for Xen

TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.

Easy to use PKCS#11 based X.509 certificate store

RustyHermit - A Rust-based, lightweight unikernel

github.com/ssrg-vt/hermitux

This repository contains the source code of the unikernel toro

WiP image viewer using MirageOS

Unikraft is an automated system for building specialized POSIX-compliant OSes known as unikernels. (Core repository)

KStateMachine is a Kotlin DSL library for creating finite state machines (FSM) and hierarchical state machines (HSM).

A Mirage firewall VM for QubesOS

PKCS#11 library and tools for Linux. Includes tokens supporting TPM and IBM crypto hardware as well as a software token.

Albatross: orchestrate and manage MirageOS unikernels with Solo5

Lustre HSM tools

Run Unikernels Locally and Natively on OSX and Linux

🔗 Leptin is a PoW blockchain completely built in Nodejs.

A repository of basic and advanced examples using Ops

A sandboxed execution environment for unikernels

Elliptic curve cryptography functions in Dart. Private Key, Public Key, Signature, AES, Encryption, Decryption

The Click modular router: fast modular packet processing and analysis

Signatory - A Tezos Remote Signer for signing block-chain operations with private keys using YubiHSM and Azure Key Vault

Extremely simple and fast extreme multi-class and multi-label classifiers.

A binary-compatible unikernel

OPTIGA™ Trust M Software Framework

Server code for use with the Auditor app: https://github.com/GrapheneOS/Auditor. It provides two services: submission of attestation data samples and a remote attestation implementation with email alerts to go along with the local implementation based on QR code scanning in the app.

🎉 A curated list of awesome things related to Micro-VMs

crawl QR-codes from search engines and look for bitcoin private keys

HSMWiz is a frontend for OpenSC, pkcs11tool and pkcs15tool to ease handling of HSM smartcards

Interesting collected (leaked) encryption/decryption keys

Built-in Snapshotting - backup and restore Storage Agnostic - you can use Irmin on top of your own storage layer Custom Datatypes - (de)serialization for custom data types, derivable via ppx_irmin Highly Portable - runs anywhere from Linux to web browsers and Xen unikernels Git Compatibility - irmin-git uses an on-disk format that can be inspected and modified using Git Dynamic Behavior - allows the users to define custom merge functions, use in-memory transactions (to keep track of reads as well as writes) and to define event-driven workflows using a notification mechanism

Nautilus Aerokernel

Solo5 core platform libraries for MirageOS

A stack tracer/profiler for Xen domains

Pure Rust client for YubiHSM2 devices

OCaml code for generating and analysing pcap (packet capture) files