+ in urls

This commit is contained in:
Your Name 2019-09-11 00:08:49 +02:00
parent c8c2eae4a7
commit 432f97470c
6 changed files with 9 additions and 9 deletions

View file

@ -11,4 +11,4 @@ We spend most of our funding on salaries, ensuring Robur keeps developing the so
* 2% on necessary travel * 2% on necessary travel
* 10% on inevitable administrative costs * 10% on inevitable administrative costs
If you are considering [donating](/Donate) to us, [hiring](/Our%20Work/Services) us, or [giving us a grant](/Contact) you can be assured your money will be well spent on the actual end result of delivering the robust and secure digital infrastructure we strive for. If you are considering [donating](/Donate) to us, [hiring](/Our+Work/Services) us, or [giving us a grant](/Contact) you can be assured your money will be well spent on the actual end result of delivering the robust and secure digital infrastructure we strive for.

4
Donate
View file

@ -1,11 +1,11 @@
--- ---
--- ---
We are passionate about creating secure and reliable open source infrastructure. We have worked on secure implementations of important applications such as [PGP](/Our%20Work/Projects#PGP) and DNS. We are passionate about creating secure and reliable open source infrastructure. We have worked on secure implementations of important applications such as [PGP](/Our+Work/Projects#PGP) and DNS.
Unfortunately such projects aren't always easy to get full grants for, and public donations really help us in completing such work. Unfortunately such projects aren't always easy to get full grants for, and public donations really help us in completing such work.
If you want to assist us continue these projects we would be grateful for a donation and promise to spend your money well (for more information on how we spend the funds we get please see our [funding page](/About%20Us/Funding)). If you want to assist us continue these projects we would be grateful for a donation and promise to spend your money well (for more information on how we spend the funds we get please see our [funding page](/About+Us/Funding)).
As Robur is a project of the nonprofit [The Center For Technical Cultivation](https://techcultivation.org) we are [tax deductible in Europe](/Donate#Tax-Deductibility). As Robur is a project of the nonprofit [The Center For Technical Cultivation](https://techcultivation.org) we are [tax deductible in Europe](/Donate#Tax-Deductibility).

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 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+Work/Technology-Employed#Ocaml). In addition each piece of software leverages [MirageOS](/Our+Work/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. 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.
@ -18,9 +18,9 @@ Our approach means our software has a number of security and ease-of-use benefit
- it is possible to formally verify important parts with a proof assistant (proof writing software) - it is possible to formally verify important parts with a proof assistant (proof writing software)
We work with [clients](/Our%20Work/Services), [partners](/About%20Us/Network#Collaborations) and [funders](/About%20Us/Network#Grant-Funders) to design and develop open-source protocols and applications within this approach. We work with [clients](/Our+Work/Services), [partners](/About+Us/Network#Collaborations) and [funders](/About+Us/Network#Grant-Funders) to design and develop open-source protocols and applications within this approach.
If you are interested in seeing how we can assist you in improving your organization's digital infrastructure please see our [services offered](/Our%20Work/Services). If you are interested in seeing how we can assist you in improving your organization's digital infrastructure please see our [services offered](/Our+Work/Services).
If you like our approach to open source software and want to support our work please consider a [donation](/Donate). If you like our approach to open source software and want to support our work please consider a [donation](/Donate).

View file

@ -6,7 +6,7 @@ title: Projects
OpenPGP is a much-used standard of encryption and is widely used to encrypt text, files and emails, amongst other things. OpenPGP is a much-used standard of encryption and is widely used to encrypt text, files and emails, amongst other things.
Robur is implementing OpenPGP in OCaml, for use in MirageOS and any other compaitble platform or software that is looking for PGP written in a [secure language](/Our%20Work/Technology-Employed#OCaml). Robur is implementing OpenPGP in OCaml, for use in MirageOS and any other compaitble platform or software that is looking for PGP written in a [secure language](/Our+Work/Technology-Employed#OCaml).
This work is funded through donations and is still an ongoing project, which means that it may not currently possess all the features required for various use-cases. Currently our implementation can sign, verify, compress, encrypt and decrypt. This work is funded through donations and is still an ongoing project, which means that it may not currently possess all the features required for various use-cases. Currently our implementation can sign, verify, compress, encrypt and decrypt.

View file

@ -14,7 +14,7 @@ Were experienced in designing and reviewing serialization frameworks, network
### Develop ### Develop
Working with [OCaml](/Our%20Work/Technology-Employed#OCaml) and [MirageOS](/Our%20Work/Technology-Employed#MirageOS) we can develop specific applications that give you high assurance of their security and functionality, which seamlessly integrate in your existing infrastructure. Working with [OCaml](/Our+Work/Technology-Employed#OCaml) and [MirageOS](/Our+Work/Technology-Employed#MirageOS) we can develop specific applications that give you high assurance of their security and functionality, which seamlessly integrate in your existing infrastructure.
We can also work on a full stack approach to meet your needs and help a smooth migration plan for your organization. We can also work on a full stack approach to meet your needs and help a smooth migration plan for your organization.

View file

@ -4,7 +4,7 @@ title: Technology Employed
# MirageOS # 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](/Our%20Work/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+Work/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. 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.