robur

All

75 repositories

mollymawk
Public
A web interface for albatross
OCaml
•
BSD 2-Clause "Simplified" License
•4•23•25•2•Updated Dec 21, 2025Dec 21, 2025
vif
Public
A simple HTTP server for OCaml 5
http framework web server parallel webframework
OCaml
•
MIT License
•2•47•4•0•Updated Dec 19, 2025Dec 19, 2025
stem
Public
OCaml
•0•1•0•0•Updated Dec 17, 2025Dec 17, 2025
dnsvizor
Public
A DNSmasq-like MirageOS unikernel
dns dhcp dnsmasq mirageos unikernel
OCaml
•
BSD 2-Clause "Simplified" License
•1•28•7•2•Updated Dec 17, 2025Dec 17, 2025
bancos
Public
A simple KV-store
C
•
MIT License
•0•5•0•0•Updated Dec 17, 2025Dec 17, 2025
orb
Public
check opam package reproductibility
OCaml
•
ISC License
•2•10•2•0•Updated Dec 15, 2025Dec 15, 2025
albatross
Public
Albatross: orchestrate and manage MirageOS unikernels with Solo5
security deployment virtual-machine ocaml orchestration provisioning mirageos unikernel
OCaml
•
ISC License
•19•157•10•4•Updated Dec 15, 2025Dec 15, 2025
mkernel
Public
OCaml
•0•13•0•0•Updated Dec 11, 2025Dec 11, 2025
carton
Public
OCaml
•
ISC License
•1•6•1•0•Updated Dec 10, 2025Dec 10, 2025
blame
Public
A simple unikernel which provides a search engine from an emails archive
OCaml
•0•13•0•0•Updated Dec 10, 2025Dec 10, 2025
opam-mirror
Public
Mirror of https://git.robur.coop/robur/opam-mirror/
OCaml
•
Other
•0•3•0•0•Updated Dec 10, 2025Dec 10, 2025
mollymawk-handbook
Public
Handbook for Mollymawk
The Unlicense
•0•0•2•0•Updated Dec 9, 2025Dec 9, 2025
dnsvizor-handbook
Public
Handbook for the DNSvizor project
The Unlicense
•0•0•0•0•Updated Dec 8, 2025Dec 8, 2025
flux
Public
A streaming library for Miou
OCaml
•
ISC License
•0•1•0•0•Updated Dec 5, 2025Dec 5, 2025
builder-web
Public
Mirror of https://git.robur.coop/robur/builder-web/
OCaml
•
ISC License
•2•12•19•0•Updated Dec 4, 2025Dec 4, 2025
tlstunnel
Public
A TLS reverse proxy unikernel
tls stunnel reverse-proxy mirageos
OCaml
•3•36•7•0•Updated Dec 4, 2025Dec 4, 2025
caldav
Public
Calendar server (CalDAV, RFC 4791) implementation in OCaml
OCaml
•
ISC License
•6•61•4•0•Updated Dec 4, 2025Dec 4, 2025
dns-secondary
Public
A MirageOS unikernel acting as a secondary DNS server
OCaml
•1•7•0•0•Updated Dec 4, 2025Dec 4, 2025
unipi
Public
Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel
git letsencrypt http ocaml mirageos unikernel http-server
OCaml
•7•71•1•3•Updated Dec 4, 2025Dec 4, 2025
dns-primary-git
Public
A MirageOS unikernel acting as primary DNS server, data stored in a remote git repository
OCaml
•4•16•3•0•Updated Dec 4, 2025Dec 4, 2025
traceroute
Public
MirageOS traceroute unikernel
OCaml
•2•17•0•1•Updated Dec 4, 2025Dec 4, 2025
dns-stub
Public
A stub DNS resolver MirageOS unikernel
OCaml
•
BSD 2-Clause "Simplified" License
•0•6•0•0•Updated Dec 4, 2025Dec 4, 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•0•Updated Dec 4, 2025Dec 4, 2025
cachet
Public
A simple cache system for mmap in OCaml
OCaml
•
Other
•0•12•1•0•Updated Dec 1, 2025Dec 1, 2025
ocaml-arc
Public
ARC implementation in OCaml
OCaml
•
MIT License
•0•2•0•0•Updated Dec 1, 2025Dec 1, 2025
git-kv
Public
KV implementation on top of git (mirror of https://git.robur.coop/robur/git-kv)
OCaml
•
MIT License
•0•13•10•0•Updated Nov 27, 2025Nov 27, 2025
httpcats
Public
A simple http client/server (http/1.1 & h2) for OCaml 5
http protocol ocaml parallel http-client http-server
OCaml
•
Other
•8•41•2•1•Updated Nov 24, 2025Nov 24, 2025
bstr
Public
A synthetic library for bigstrings
OCaml
•
MIT License
•1•8•1•0•Updated Nov 24, 2025Nov 24, 2025
lun
Public
(▀̿Ĺ̯▀̿ ̿)
HTML
•
MIT License
•1•12•0•0•Updated Nov 20, 2025Nov 20, 2025
miou
Public
A simple scheduler for OCaml 5
scheduler ocaml effects parallelism
OCaml
•
MIT License
•9•128•11•3•Updated Nov 19, 2025Nov 19, 2025