Hannes Mehnert (hannesm)

hannesm

Geek Repo

Company:@robur-coop

Home Page:https://hannes.robur.coop

Github PK Tool:Github PK Tool


Organizations
isakmp
mirage
mirleft
ocaml

Hannes Mehnert's repositories

Language:OCamlStargazers:2Issues:0Issues:0

opam

OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

Language:OCamlLicense:NOASSERTIONStargazers:1Issues:3Issues:0
Language:OCamlStargazers:1Issues:0Issues:0

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

Language:ShellLicense:CC0-1.0Stargazers:1Issues:3Issues:0

arp

Purely functional ARP in OCaml

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:3Issues:0

bin_prot

Binary protocol generator

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:0Issues:0

charrua

A DHCP server library in OCaml

Language:OCamlLicense:ISCStargazers:0Issues:3Issues:0

eqaf

Constant time equal function to avoid timing attacks in OCaml

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

mirage

Cloud programming platform

Language:OCamlStargazers:0Issues:3Issues:0

mirage-block-xen

Client and server implementations of the xen paravirtualised block driver protocol

Language:OCamlStargazers:0Issues:2Issues:0

mirage-crypto

Cryptographic primitives for MirageOS

Language:OCamlLicense:ISCStargazers:0Issues:2Issues:0

mirage-kv

MirageOS signature for key/value stores

Language:OCamlLicense:ISCStargazers:0Issues:3Issues:0

mirage-net-xen

Xen Netfront ethernet device driver for Mirage

Language:OCamlLicense:ISCStargazers:0Issues:3Issues:0

mirage-skeleton

Build skeleton and examples of simple Mirage apps

Language:OCamlLicense:UnlicenseStargazers:0Issues:3Issues:0

mirage-solo5

Mirage platform bindings for Solo5

Language:OCamlLicense:ISCStargazers:0Issues:2Issues:0

mirage-tcpip

TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes Ethernet, DHCP, ARP and TCP/IPv4 support.

Language:OCamlLicense:ISCStargazers:0Issues:3Issues:0

mirage-time

Time signatures for MirageOS

Language:OCamlLicense:ISCStargazers:0Issues:3Issues:0

mirage-vnetif

Virtual network interface and software bridge for Mirage

Language:OCamlLicense:ISCStargazers:0Issues:0Issues:0

mirage-www

Website infrastructure and content for mirage.io

Language:OCamlStargazers:0Issues:3Issues:0

mirage-xen

Xen core platform libraries for MirageOS

Language:OCamlLicense:ISCStargazers:0Issues:3Issues:0

ocaml-asn1-combinators

Embed typed ASN.1 grammars in OCaml

Language:OCamlLicense:ISCStargazers:0Issues:3Issues:0

ocaml-conduit

Dereference URIs into communication channels for Async or Lwt

Language:OCamlLicense:ISCStargazers:0Issues:3Issues:0

ocaml-git

Pure OCaml Git format and protocol

Language:OCamlLicense:ISCStargazers:0Issues:3Issues:0

ocaml-ipaddr

A library for manipulation of IP (and MAC) address representations

Language:OCamlLicense:ISCStargazers:0Issues:3Issues:0

ocaml-tls

TLS in pure OCaml

Language:OCamlLicense:BSD-2-ClauseStargazers:0Issues:3Issues:0

opam-repo-ci

An OCurrent pipeline for testing submissions to opam-repository

Stargazers:0Issues:0Issues:0

opam-source-archives

mirror of precious opam repository packages whose source websites have disappeared

Stargazers:0Issues:0Issues:0

opam2web

A tool to generate a website from an opam repository

License:NOASSERTIONStargazers:0Issues:0Issues:0

qubes-mirage-firewall

A Mirage firewall VM for QubesOS

Language:OCamlStargazers:0Issues:3Issues:0