robur

All

66 repositories

mollymawk
Public
A web interface for albatross
OCaml
•
BSD 2-Clause "Simplified" License
•3•19•15•0•Updated Mar 12, 2025Mar 12, 2025
miou-solo5
Public
OCaml
•0•11•0•0•Updated Mar 11, 2025Mar 11, 2025
dns-stub
Public
A stub DNS resolver MirageOS unikernel
OCaml
•0•6•0•1•Updated Mar 10, 2025Mar 10, 2025
dnsvizor
Public
A DNSmasq-like MirageOS unikernel
dns dhcp dnsmasq mirageos unikernel
OCaml
•
BSD 2-Clause "Simplified" License
•0•24•5•0•Updated Mar 10, 2025Mar 10, 2025
dns-letsencrypt-secondary
Public
A MirageOS unikernel acting as secondary DNS server, provisioning certificate signing requests to valid certificates using let's encrypt
OCaml
•3•12•0•1•Updated Mar 10, 2025Mar 10, 2025
tlstunnel
Public
A TLS reverse proxy unikernel
tls stunnel reverse-proxy mirageos
OCaml
•2•36•7•0•Updated Mar 10, 2025Mar 10, 2025
traceroute
Public
MirageOS traceroute unikernel
OCaml
•2•17•0•0•Updated Mar 10, 2025Mar 10, 2025
dns-secondary
Public
A MirageOS unikernel acting as a secondary DNS server
OCaml
•1•7•0•0•Updated Mar 10, 2025Mar 10, 2025
caldav
Public
Calendar server (CalDAV, RFC 4791) implementation in OCaml
OCaml
•
ISC License
•6•60•5•1•Updated Mar 10, 2025Mar 10, 2025
miragevpn
Public
An opinionated implementation of the OpenVPN protocol
openvpn ocaml vpn mirageos unikernel openvpn-server openvpn-client
OCaml
•
BSD 2-Clause "Simplified" License
•9•79•26•0•Updated Mar 10, 2025Mar 10, 2025
git-kv
Public
KV implementation on top of git (mirror of https://git.robur.coop/robur/git-kv)
OCaml
•
MIT License
•0•12•5•0•Updated Mar 10, 2025Mar 10, 2025
vif
Public
A simple HTTP server for OCaml 5
OCaml
•0•18•0•0•Updated Mar 9, 2025Mar 9, 2025
utcp
Public
An implementation of the Transmission Control Protocol in OCaml
OCaml
•
Other
•3•29•14•1•Updated Mar 6, 2025Mar 6, 2025
icalendar
Public
OCaml
•
ISC License
•2•22•1•0•Updated Mar 4, 2025Mar 4, 2025
ocaml-letsencrypt
Public
OCaml
•
Other
•10•32•0•1•Updated Feb 27, 2025Feb 27, 2025
http-mirage-client
Public
mirror of https://git.robur.coop/robur/http-mirage-client
OCaml
•
MIT License
•0•10•1•0•Updated Feb 25, 2025Feb 25, 2025
carton
Public
OCaml
•
ISC License
•1•4•0•0•Updated Feb 25, 2025Feb 25, 2025
ocaml-dns
Public
OCaml implementation of the DNS protocol
OCaml
•
BSD 2-Clause "Simplified" License
•43•0•0•0•Updated Feb 25, 2025Feb 25, 2025
httpcats
Public
A simple http client/server (http/1.1 & h2) for OCaml 5
OCaml
•
Other
•6•35•2•1•Updated Feb 21, 2025Feb 21, 2025
hurl
Public
A simple HTTP client for OCaml 5
OCaml
•
Other
•0•12•0•0•Updated Feb 21, 2025Feb 21, 2025
memtrace-mirage
Public
Memtrace library for MirageOS
OCaml
•
MIT License
•1•15•0•0•Updated Feb 17, 2025Feb 17, 2025
mirage-monitoring
Public
mirror of https://git.robur.coop/robur/mirage-monitoring
monitoring metrics mirageos
OCaml
•
Other
•1•13•0•0•Updated Feb 17, 2025Feb 17, 2025
builder-web
Public
Mirror of https://git.robur.coop/robur/builder-web/
OCaml
•
ISC License
•1•11•8•0•Updated Feb 15, 2025Feb 15, 2025
albatross
Public
Albatross: orchestrate and manage MirageOS unikernels with Solo5
security deployment ocaml orchestration provisioning mirageos virtual-machine unikernel
OCaml
•
ISC License
•18•149•11•1•Updated Feb 11, 2025Feb 11, 2025
happy-eyeballs
Public
An implementation of happy eyeballs (RFC 8305) in OCaml with lwt
OCaml
•
ISC License
•4•22•2•0•Updated Feb 5, 2025Feb 5, 2025
ocaml-solo5-elftool
Public
Mirror of https://git.robur.coop/robur/ocaml-solo5-elftool/
OCaml
•
BSD 2-Clause "Simplified" License
•0•4•0•0•Updated Feb 4, 2025Feb 4, 2025
owee
Public
OCaml library to work with DWARF format
OCaml
•
MIT License
•13•0•0•0•Updated Feb 3, 2025Feb 3, 2025
miou
Public
A simple scheduler for OCaml 5
scheduler ocaml effects parallelism
OCaml
•
MIT License
•8•100•7•2•Updated Feb 3, 2025Feb 3, 2025
builder
Public
Scheduling build jobs on regular intervals, collecting artifacts
OCaml
•
ISC License
•1•13•6•1•Updated Jan 20, 2025Jan 20, 2025
mirage-swapfs
Public
OCaml
•
MIT License
•0•8•1•0•Updated Jan 17, 2025Jan 17, 2025