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

fixing anchors

Browse source
This commit is contained in:
Sol 2019-09-10 22:41:35 +02:00
parent 14176621e0
commit 03f97289f1
4 changed files with 11 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
About Us/Network
View file

@ -2,7 +2,7 @@
title: Network title: Network
--- ---
# Collaborations {#Collaborations} # Collaborations
[The Center For Technical Cultivation](https://techcultivation.org) [The Center For Technical Cultivation](https://techcultivation.org)
The Center For Technical Cultivation is a "back-end provider" for the open source community. They work with Robur to assist us in our financial processes and administration. The Center For Technical Cultivation is a "back-end provider" for the open source community. They work with Robur to assist us in our financial processes and administration.
@ -19,9 +19,9 @@ OCaml Labs is an initiative within the Cambridge Computer Laboratory started by
[Tarides](https://tarides.com) [Tarides](https://tarides.com)
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. 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.
<br> <br />
# Grant Funders {#Grant-Funders} # Grant Funders
[NLnet Foundation](https://nlnet.nl) [NLnet Foundation](https://nlnet.nl)
In 2019 NLnet Foundation granted Robur funding to develop a secure DNS resolver in OCaml. NLnet is a Dutch foundation that receives money from donations, legacies and collaborative funding and sub-granting mechanisms after starting with substantial capital established by pioneers of the European internet in 1997. It grants money to organizations and people that contribute to an open information society and secure internet projects. In 2019 NLnet Foundation granted Robur funding to develop a secure DNS resolver in OCaml. NLnet is a Dutch foundation that receives money from donations, legacies and collaborative funding and sub-granting mechanisms after starting with substantial capital established by pioneers of the European internet in 1997. It grants money to organizations and people that contribute to an open information society and secure internet projects.

2
Donate
View file

@ -31,7 +31,7 @@ Bank: Transferwise, 19 W 24th Street, New York 10010, USA
- You can also donate to our bitcoin wallet 1EP21qxHyzvAp3aufLBhnGZepTh7n3SS6S. - You can also donate to our bitcoin wallet 1EP21qxHyzvAp3aufLBhnGZepTh7n3SS6S.
### Tax Deductibility {#Tax-Deductibility} ### Tax Deductibility
For Germany, you can [download a general donation receipt](https://techcultivation.org/documents/cct-vereinfachter-spendennachweis.pdf) that together with your bank statement is sufficient to claim taxes on donations up to 200€. For Germany, you can [download a general donation receipt](https://techcultivation.org/documents/cct-vereinfachter-spendennachweis.pdf) that together with your bank statement is sufficient to claim taxes on donations up to 200€.

4
Our Work/Projects
View file

@ -2,7 +2,7 @@
title: Projects title: Projects
--- ---
# PGP {#PGP} # PGP
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.
@ -26,7 +26,7 @@ The software is available [on Github](https://github.com/cfcs/ocaml-openpgp).
# Solo5 {#Solo5} # Solo5
Solo5 is a sandboxed (separated) execution environment built using unikernels (a.k.a. library operating systems), including but not limited to MirageOS unikernels. It provides the interface between software and the operating system it runs on. Solo5 is a sandboxed (separated) execution environment built using unikernels (a.k.a. library operating systems), including but not limited to MirageOS unikernels. It provides the interface between software and the operating system it runs on.

10
Our Work/Technology-Employed
View file

@ -2,7 +2,7 @@
title: Technology Employed title: Technology Employed
--- ---
# MirageOS {#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](/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](/Technology-Employed#Ocaml).
@ -52,12 +52,12 @@ Currently supported protocols, all written from scratch in OCaml, include: HTTP,
As some examples of the comparable code base sizes of these protocol implementations and applications our TLS library, which is inter-operable with most stacks, has a code base of roughly 4% of other implementations. We have had an authoritative name service running consistently since XX which is only a 2mb VM image, and our firewall has been used in qubes and instead of a 200mb VM it is max 50mb. As some examples of the comparable code base sizes of these protocol implementations and applications our TLS library, which is inter-operable with most stacks, has a code base of roughly 4% of other implementations. We have had an authoritative name service running consistently since XX which is only a 2mb VM image, and our firewall has been used in qubes and instead of a 200mb VM it is max 50mb.
<br> <br />
<br> <br />
<br> <br />
# OCaml {#OCaml} # OCaml
OCaml is a mature programming language that is used both in industry (Facebook, Jane Street Capital, Docker, ahrefs, simcorp, lexifi) and academia. OCaml is a mature programming language that is used both in industry (Facebook, Jane Street Capital, Docker, ahrefs, simcorp, lexifi) and academia.