From 946ed2b3368381087a2da2d4616873b47cd6cc68 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Thu, 14 Dec 2023 16:13:04 +0100 Subject: [PATCH] more network --- About Us/Network | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/About Us/Network b/About Us/Network index 78ccaef..93e7da9 100644 --- a/About Us/Network +++ b/About Us/Network @@ -13,12 +13,18 @@ Least Authority is a Berlin-based group building technology that is open source [MirageOS](https://mirage.io)
MirageOS is a library operating system that constructs unikernels for secure and high-performing applications. Most Robur projects are designed to be compatible with MirageOS, as well as native operating systems, like Linux or FreeBSD. We work closely with the MirageOS community to help develop its ecosystem and increase the availability of secure applications offered within it. +[Nitrokey](https://nitrokey.com)
+Robur designed and implemented [NetHSM](https://www.nitrokey.com/products/nethsm) for Nitrokey. + [OCaml Labs](http://ocamllabs.io)
OCaml Labs is an initiative within the Cambridge Computer Laboratory started by Anil Madhavapeddy in 2011 to promote research, growth and collaboration within the wider OCaml community. Robur has had a working relationship with OCaml Labs since our inception to help widen the base of OCaml users and applications. [Tarides](https://tarides.com)
Is a for-profit distributed engineering team based in Paris and Cambridge that makes software for MirageOS. Robur works alongside Tarides to expand the MirageOS ecosystem and collaborate on some projects. +[Semgrep](https://semgrep.dev)
+Robur collaborates to migrate semgrep code base from a mix of Python and OCaml to only OCaml. +
# Grant Funders