Pinned Repositories
gmap
heterogenous Map over a GADT
jackline
minimalistic secure XMPP client in OCaml
ocaml-otr
Off-the-record (OTR) messaging protocol, purely in OCaml
tlstunnel-lwt
TLS tunnel -- an alternative to stud / stunnel
mirage
MirageOS is a library operating system that constructs unikernels
ocaml-tls
TLS in pure OCaml
netsem
Network Semantics
albatross
Albatross: orchestrate and manage MirageOS unikernels with Solo5
miragevpn
An opinionated implementation of the OpenVPN protocol
mollymawk
A web interface for albatross
hannesm's Repositories
hannesm/tlstunnel-lwt
TLS tunnel -- an alternative to stud / stunnel
hannesm/conex
establish trust in community repositories, cryptographically signed by library authors
hannesm/duration
Duration
hannesm/bigstringaf
Bigstring intrinsics and fast blits based on memcpy/memmove
hannesm/bob
A peer-to-peer file-transfer tool in OCaml
hannesm/bos
Basic OS interaction for OCaml
hannesm/ca-certs-nss
CA certificates extracted from NSS, to be used with MirageOS
hannesm/capnp-rpc
Cap'n Proto RPC implementation
hannesm/chamelon
a small, simple block-backed key-value store for MirageOS
hannesm/code-of-conduct
Documents related to the Code of Conduct
hannesm/dirsp-exchange
Provide software engineers with auditable source code that has some level of safety assurance (typically proofs) from security researchers.
hannesm/fmt
OCaml Format pretty-printer combinators
hannesm/gluten
Reusable runtime library for network protocols
hannesm/Mehari
A cross-platform library for building Gemini servers
hannesm/mirage-block-ccm
AES-CCM encrypted Mirage V1.BLOCK storage
hannesm/mirage-hole
hannesm/mirage-kv-mem
MirageOS key value store implementation in memory, not persistent
hannesm/mirage-nat
library for network address translation intended for use with mirage unikernels
hannesm/mirage-sqlite-vfs-test
Test of how to builld an sqlite VFS that we can use as a mirageos block storage
hannesm/ocaml-magic-mime
Convert file extensions to MIME types
hannesm/ocamlot
An Activitypub server in OCaml!
hannesm/ocurrent
Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)
hannesm/ocurrent-deployer
A pipeline that deploys unikernels and other services
hannesm/omd
extensible Markdown library and tool in "pure OCaml"
hannesm/opam-monorepo
Assemble dune workspaces to build your project and its dependencies as a whole
hannesm/pasteur
Paste-eur as unikernel
hannesm/sexplib0
Library containing the definition of S-expressions and some base converters
hannesm/spoke
SPAKE2+EE implementation in OCaml
hannesm/sqlite3-ocaml
OCaml bindings to the SQLite3 database
hannesm/uspf
SPF verifier and signer in OCaml