robur/homepage-data
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

more network

Browse source
This commit is contained in:
Hannes Mehnert 2023-12-14 16:13:04 +01:00
parent dc1abc8c9b
commit 946ed2b336
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
About Us/Network
View file

@ -13,12 +13,18 @@ Least Authority is a Berlin-based group building technology that is open source
[MirageOS](https://mirage.io)<br />
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)<br />
Robur designed and implemented [NetHSM](https://www.nitrokey.com/products/nethsm) for Nitrokey.
[OCaml Labs](http://ocamllabs.io)<br />
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)<br />
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)<br />
Robur collaborates to migrate semgrep code base from a mix of Python and OCaml to only OCaml.
<br />
# Grant Funders