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

fixing whitespaces

Browse source
This commit is contained in:
Sol 2019-09-10 23:22:30 +02:00
parent 1568eae6fe
commit 862a37a828
4 changed files with 16 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
Contact
View file

@ -1,3 +1,6 @@
---
---
You can reach us by mail at `team@robur.io`.
If you wish, you may encrypt your email with our [OpenPGP key 0CBFC7AA](/static/0CBFC7AA.txt), fingerprint: 27EB8C7B 7BC95BDC 9B4B63CD 599270C7 0CBFC7AA.

3
Donate
View file

@ -1,3 +1,6 @@
---
---
We are passionate about creating secure and reliable open source infrastructure. We have worked on secure implementations of important applications such as [PGP](/About%20Us/Funding) and DNS.
Unfortunately such projects aren't always easy to get full grants for, and public donations really help us in completing such work.

3
Our Work/Our-Approach
View file

@ -1,3 +1,6 @@
---
---
We are a nonprofit open source software cooperative whose mission is to develop robust and secure digital infrastructure. We strive to enable more people to reliably run their own infrastructure by producing correct, surprise-free software to be deployed in real environments. Our software aims to meet the needs of anyone working in an environment where security and dependability is vital.
We write all our code in a high-level memory-safe (and more secure) programming language called [OCaml](/Our%20Work/Technology-Employed#Ocaml). In addition each piece of software leverages [MirageOS](/Our%20Work/Technology-Employed#MirageOS) (a minimal operating system) to produce bespoke applications tailored to only contain their required functionality. Each service is executed on virtual machines with a size usually around 1-10 MB, much smaller than a UNIX / Linux system, and it boots within milliseconds.

6
Our Work/Technology-Employed
View file

@ -1,10 +1,6 @@
---
title: Technology Employed
---
# MirageOS
MirageOS is a software suite to build custom-tailored operating systems from (mostly open source) small individual libraries. It has been developed since 2009 at the University of Cambridge, UK and is written in the programming language [OCaml](/Technology-Employed#Ocaml).
MirageOS is a software suite to build custom-tailored operating systems from (mostly open source) small individual libraries. It has been developed since 2009 at the University of Cambridge, UK and is written in the programming language [OCaml](/Our%20Work/Technology-Employed#Ocaml).
It compiles the necessary OCaml libraries into a unikernel - a small operating system, each built for a certain purpose. For each unikernel we can pick from hundreds of permissively licensed open source libraries which implement network protocols, storage on block devices, or interfaces to network devices via the hypervisor or host operating system. As we only put into each one exactly what is needed, each unikernel is fast; instantly booting and, as there is less code base, it is easier to maintain and keep secure.