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

#Ocaml -> #OCaml fixup

Browse source
This commit is contained in:
Your Name 2019-09-11 00:16:40 +02:00
parent 309ffb61d0
commit f1739fca47
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Our Work/Our-Approach
View file

@ -4,7 +4,7 @@ title: Our Approach
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.
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.
Where other approaches try to patch general purpose operating systems by adding more layers, we strive to build a secure system from the ground up.