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

in the end, just remove nitrokey

Browse source
This commit is contained in:
Hannes Mehnert 2023-12-06 18:41:32 +01:00
parent 03799d71d4
commit dc1abc8c9b
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
About Us/Network
View file

@ -13,9 +13,6 @@ 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<br />
Robur designed and implemented 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.