Discover unikraft/lib-dafny Open Source project

Stars
1
Language
C++
License
Other
Created over 3 years ago
Updated 11 months ago

unikraft

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Unikraft library for Dafny programming language.

unikraft

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

2,498

kraftkit

Build and use highly customized and ultra-lightweight unikernel VMs.

227

pykraft

Python library for configuring and building unikernels

Python

177

docs

The front page and documentation for the Unikraft Open-Source Project.

MDX

catalog

Unikraft Applications & Examples Catalog

Dockerfile

eurosys21-artifacts

Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Paper Award).

Assembly

app-elfloader

Load and execute Linux ELF binaries

loupe

Loupe: Syscall Usage Analysis Tool

Python

app-helloworld

A simple "Hello World" application written in C

app-helloworld-go

kraft-ready repo for building Go applications with Unikraft

gsoc

Unikraft Google Summer of Code

run-app-elfloader

Run Unikraft ELF Loader app on Linux executables

Shell

app-python3

Unikraft Python3 app repo

Shell

lib-lwip

Unikraft port of the lwip network stack

app-nginx

Nginx on Unikraft

Shell

app-wamr

Web Assembly (WAMR) on Unikraft

Shell

plat-aws

Run Unikraft Xen images on Amazon Web Services

Shell

lib-musl

musl: A C standard library

lib-wamr

Unikraft port of WAMR, Intel's WebAssembly Micro Runtime

plat-solo5

Unikraft port of solo5, a sandboxed execution environment for unikernels

static-pie-apps

Built Linux applications (static-pie) for Unikraft binary compatibility mode

dynamic-apps

Pre-built Dynamic Linux ELFs

C++

app-sqlite

SQLite on Unikraft

Shell

summer-of-code-2021

Unikraft Summer of Code (2021) Website & Projects Documentation

governance

Documentation and automation for the Unikraft project governance model.

plat-raspi

Unikraft on Raspberry Pi 3 B+

plat-digitalocean

Run Unikraft KVM images on Digital Ocean

Shell

lib-newlib

Unikraft port of newlib, a C standard library

app-redis

Redis on Unikraft

Shell

ide-vscode

Unikraft Visual Studio Code Extension

TypeScript

app-httpreply

A simple HTTP echo server example for Unikraft.

lib-rust

Rust Language Runtime on Unikraft

app-click

Click Modular Router on Unikraft

Shell

lib-python3

Unikraft port of Python 3

app-helloworld-rust

Rust-based application on Unikraft

Rust

packer-plugin-unikraft

Unikraft Packer Plugin

meeting-notes

Archive of Unikraft Technical Meetings.

loupedb

Shell

plat-gcp

Run Unikraft KVM images on Google Cloud Platform

Shell

app-helloworld-cpp

kraft-ready repo for building c++ applications with Unikraft

Shell

lib-click

Unikraft port of the Click modular router

C++

driver-shim

Driver shim library

app-ruby

Ruby on Unikraft

lib-redis

Unikraft port of Redis in-memory data structure store

lib-pthread-embedded

Unikraft port of pthread-embedded, an embedded pthread library

lib-tflite

Unikraft port of TensorFlow Lite

C++

lib-duktape

Unikraft port of duktape/JavaScript

app-micropython

Micropython on Unikraft

Python

liftoff

Tool to retrieve and print process statistics

lib-libhogweed

Port of libhogweed to Unikraft

lib-lua

Unikraft port of the Lua language

app-duktape

kraft-ready repo for building JavaScript/duktape applications with Unikraft

Shell

lib-geos

Geometry Engine, Open Source

C++

lib-embedded-gcov

Unikraft port of Embedded Coverage

lib-boost

Unikraft port of the boost library

.github

lib-mimalloc

Port of mimalloc

lib-dnnl

Unikraft port of Intel Math Kernel Library for DNNs

lib-tlsf

Port of TLSF for Unikraft, a general-purpose memory allocator

lib-openssl

Unikraft port of the OpenSSL libraries

lib-nginx

Unikraft port of NGINX

lib-zydis

Unikraft's port of the Zydis disassembler library

lib-libelf

Unikraft port of libelf from the ELF toolchain

lib-libtiff

Unikraft port of libtiff, a library for managing TIFF files

lib-ocaml

OCaml runtime library

lib-libgo

Unikraft port of the Go language

unikraft/lib-dafny

unikraft

Reviews

Repository Details

More Repositories