Skip to content

Commit 18ee877

Browse files
github-actions[bot]cuihtlauac
github-actions[bot]
and
cuihtlauac
authored
[scrape] New OCaml Planet blog posts and videos (#3735)
- robur.coop: µTCP: a TCP/IP implementation derived from a formal specification - robur.coop: Zostera: WireGuard as a MirageOS unikernel - robur.coop: Mollymawk: orchestration and management of MirageOS unikernels - robur.coop: MTE (MirageOS Taler Exchange): a GNU Taler exchange as a MirageOS unikernel - robur.coop: PTT (Poste, Télégraphe et Téléphone): a suit of unikernels for SMTP protocols - robur.coop: DNSvizor: privacy-enhanced DNS resolver and DHCP server - robur.coop: MirageVPN: an implementation of the OpenVPN protocol as MirageOS unikernels - robur.coop: WebAuthn: authentication without passwords on the web - robur.coop: Conex: deploying end-to-end trust for opam-repository - robur.coop: Deploying MirageOS unikernels - reproducible builds, providing binary packages - robur.coop: QubesOS MirageOS firewall: dynamic ruleset, DNS - robur.coop: TLS 1.3: extending OCaml-TLS with protocol version 1.3 - robur.coop: NetHSM: a security module using MirageOS and Muen - robur.coop: CalDAV: a calendar server providing the CalDAV protocol Co-authored-by: cuihtlauac <1917592+cuihtlauac@users.noreply.github.com>
1 parent 892b29c commit 18ee877

14 files changed

Lines changed: 155 additions & 0 deletions

‎data/planet/robur.coop/--------ptt-poste-tlgraphe-et-tlphone-a-suit-of-unikernels-for-smtp-protocols------.md‎

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
---
2+
title: "\n PTT (Poste, T\xE9l\xE9graphe et T\xE9l\xE9phone): a suit of unikernels
3+
for SMTP protocols\n "
4+
description:
5+
url: https://blog.robur.coop/articles/ptt.html
6+
date: 2024-10-01T00:00:00-00:00
7+
preview_image:
8+
authors:
9+
- Robur Cooperative
10+
source:
11+
ignore:
12+
---

‎data/planet/robur.coop/caldav-a-calendar-server-providing-the-caldav-protocol.md‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
---
2+
title: 'CalDAV: a calendar server providing the CalDAV protocol'
3+
description:
4+
url: https://blog.robur.coop/articles/caldav.html
5+
date: 2018-03-01T00:00:00-00:00
6+
preview_image:
7+
authors:
8+
- Robur Cooperative
9+
source:
10+
ignore:
11+
---

‎data/planet/robur.coop/conex-deploying-end-to-end-trust-for-opam-repository.md‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
---
2+
title: 'Conex: deploying end-to-end trust for opam-repository'
3+
description:
4+
url: https://blog.robur.coop/articles/conex.html
5+
date: 2021-01-01T00:00:00-00:00
6+
preview_image:
7+
authors:
8+
- Robur Cooperative
9+
source:
10+
ignore:
11+
---

‎data/planet/robur.coop/deploying-mirageos-unikernels---reproducible-builds-providing-binary-packages.md‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
---
2+
title: Deploying MirageOS unikernels - reproducible builds, providing binary packages
3+
description:
4+
url: https://blog.robur.coop/articles/ngi_pointer.html
5+
date: 2021-01-01T00:00:00-00:00
6+
preview_image:
7+
authors:
8+
- Robur Cooperative
9+
source:
10+
ignore:
11+
---

‎data/planet/robur.coop/dnsvizor-privacy-enhanced-dns-resolver-and-dhcp-server.md‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
---
2+
title: 'DNSvizor: privacy-enhanced DNS resolver and DHCP server'
3+
description:
4+
url: https://blog.robur.coop/articles/dnsvizor.html
5+
date: 2024-10-01T00:00:00-00:00
6+
preview_image:
7+
authors:
8+
- Robur Cooperative
9+
source:
10+
ignore:
11+
---

‎data/planet/robur.coop/miragevpn-an-implementation-of-the-openvpn-protocol-as-mirageos-unikernels.md‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
---
2+
title: 'MirageVPN: an implementation of the OpenVPN protocol as MirageOS unikernels'
3+
description:
4+
url: https://blog.robur.coop/articles/openvpn.html
5+
date: 2023-03-01T00:00:00-00:00
6+
preview_image:
7+
authors:
8+
- Robur Cooperative
9+
source:
10+
ignore:
11+
---

‎data/planet/robur.coop/mollymawk-orchestration-and-management-of-mirageos-unikernels.md‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
---
2+
title: 'Mollymawk: orchestration and management of MirageOS unikernels'
3+
description:
4+
url: https://blog.robur.coop/articles/mollymawk.html
5+
date: 2025-02-01T00:00:00-00:00
6+
preview_image:
7+
authors:
8+
- Robur Cooperative
9+
source:
10+
ignore:
11+
---

‎data/planet/robur.coop/mte-mirageos-taler-exchange-a-gnu-taler-exchange-as-a-mirageos-unikernel.md‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
---
2+
title: 'MTE (MirageOS Taler Exchange): a GNU Taler exchange as a MirageOS unikernel'
3+
description:
4+
url: https://blog.robur.coop/articles/taler.html
5+
date: 2024-10-01T00:00:00-00:00
6+
preview_image:
7+
authors:
8+
- Robur Cooperative
9+
source:
10+
ignore:
11+
---

‎data/planet/robur.coop/nethsm-a-security-module-using-mirageos-and-muen.md‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
---
2+
title: 'NetHSM: a security module using MirageOS and Muen'
3+
description:
4+
url: https://blog.robur.coop/articles/nethsm.html
5+
date: 2018-06-01T00:00:00-00:00
6+
preview_image:
7+
authors:
8+
- Robur Cooperative
9+
source:
10+
ignore:
11+
---

‎data/planet/robur.coop/qubesos-mirageos-firewall-dynamic-ruleset-dns.md‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
---
2+
title: 'QubesOS MirageOS firewall: dynamic ruleset, DNS'
3+
description:
4+
url: https://blog.robur.coop/articles/qubes-firewall.html
5+
date: 2019-03-01T00:00:00-00:00
6+
preview_image:
7+
authors:
8+
- Robur Cooperative
9+
source:
10+
ignore:
11+
---

0 commit comments

Comments
 (0)