yomimono/example-unikernels yomimono/example-unikernels

  • Stars
    star
    15
  • Rank 1,371,379 (Top 28 %)
  • Language
    OCaml
  • Created about 10 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
yomimono/example-unikernels
github

yomimono

Reviews

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

Repository Details

Small example MirageOS unikernels.

More Repositories

1

ocaml-certify

Small command-line tools for making certificates with OCaml x509/nocrypto toolstack.
OCaml
39
star
2

autoci

automatic ci configuration for the people
OCaml
35
star
3

simple-nat

Demonstration NATting unikernel.
OCaml
29
star
4

chamelon

a small, simple block-backed key-value store for MirageOS
OCaml
28
star
5

ppx_deriving_crowbar

a ppx_deriving plugin for crowbar generators
OCaml
20
star
6

oauth2_server

a MirageOS OAuth2 authorization server for Etsy authentication
OCaml
19
star
7

camels

camels game
OCaml
19
star
8

url-shortener

Example URL shortener MirageOS unikernel using Chamelon.
OCaml
18
star
9

client-fuzzball

A fuzzing/analysis framework for scapy.
Python
13
star
10

stitchcraft

Tools for making, manipulating, and viewing cross-stitch patterns.
OCaml
12
star
11

answer-af

Angstrom/Faraday-based encoders and decoders for 1987 Wheel of Fortune ANSWERS.DAT files.
OCaml
7
star
12

charrua-client

former home of Charrua client code
OCaml
6
star
13

ocaml-test-stdlib

Crowbar tests for OCaml standard library modules.
OCaml
6
star
14

arbitrary-network

Library for making arbitrary network structures for use with ocaml-quickcheck and ocaml-cstruct .
OCaml
6
star
15

upperbound-constrainer

quick and dirty program for adding upper bounds on dependencies in opam files
OCaml
6
star
16

unicode_explorer

a small utility for exploring unicode glyphs in the terminal
OCaml
5
star
17

irmin-arp

ARP, but with more DVCS.
OCaml
5
star
18

haskell-tac-toe

Tic-tac-toe (aka noughts and crosses) in Haskell.
Haskell
5
star
19

mirage-net-pcap

a netif that reads from pcap and saves writes to memory
OCaml
5
star
20

glow-cloud

Make pretty colors with Arduino and NeoPixels.
Arduino
4
star
21

ocaml-test-omp

testing ppx_deriving_crowbar by automatically deriving parsetrees, and why not test them after that
OCaml
4
star
22

somerandompacket

OCaml
3
star
23

cryptopals-solutions

Solutions for Matasano Cryptopals challenges.
OCaml
2
star
24

opam-lint-remover

automatically solve common problems with crufty old opam files
OCaml
2
star
25

ocaml-test-x509

fuzz testing demo for ocaml-x509
OCaml
2
star
26

irmin-network-datastores

OCaml
1
star