Awesome Open Source

Programming Languages

Search results for virtual machine ocaml

virtual-machine x

2 search results found

Eth Isabelle ⭐ 209

A Lem formalization of EVM and some Isabelle/HOL proofs

Qubes Mirage Firewall ⭐ 199

A Mirage firewall VM for QubesOS

Analyzer ⭐ 143

Static analysis framework for C

Albatross ⭐ 136

Albatross: orchestrate and manage MirageOS unikernels with Solo5

The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

A high-level programming language for GPUs

Vprobe Toolkit ⭐ 34

This toolkit provides an interactive, programmer-friendly interface to VMware's VProbes facility. VProbes is a safe, dynamic technology for instrumenting software running in virtual machines, and the software stack itself.

Starlight ⭐ 31

[WIP] Yet another Erlang implementation in Rust

Qubes Mirage Skeleton ⭐ 18

An example Mirage unikernel that runs as a Qubes AppVM

Ocaml Hvsock ⭐ 13

Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)

Footpatch ⭐ 11

Xentropyd ⭐ 9

Source of entropy data for VMs

A xen host memory ballooning daemon

Type Error Feedback via Analytic Program Repair

Qubes Test Mirage ⭐ 8

Scripts I use to test Mirage unikernels on QubesOS

Ocaml Windows Bootstrap ⭐ 7

OCaml VM on Nucleo STM32.

Related Searches

Vagrant Virtual Machine (3,710)

Shell Virtual Machine (2,910)

Docker Virtual Machine (1,107)

Hosts Virtual Machine (668)

C Plus Plus Virtual Machine (581)

Golang Virtual Machine (575)

Php Virtual Machine (510)

Cloud Computing Virtual Machine (510)

Script Virtual Machine (485)

Ocaml Reasonml (475)

1-2 of 2 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.