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

less words

Browse source
This commit is contained in:
Hannes Mehnert 2017-12-22 19:26:35 +01:00
parent 321e9c1e89
commit 68085d8be6
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Home
View file

@ -12,8 +12,8 @@ With our approach to systems development we provide the following advantages for
* secure implementation guarded against memory corruption, typelevel problems, leaky abstraction and unforeseen state * secure implementation guarded against memory corruption, typelevel problems, leaky abstraction and unforeseen state
* ready for the cloud, services run on all major hypervisors * ready for the cloud, services run on all major hypervisors
* instant boot (milliseconds) * instant boot (milliseconds)
* competitive performance (TLS 85% the speed of OpenSSL) comparable to C * competitive performance to C implementations
* can target embedded devices, small size (~4% size of UNIX based system), compilation to native code * can target embedded devices, small size (~4% of UNIX based system), compilation to native code
* minimal codebase without mutable state allows to reason about entire systems and adherence to specification * minimal codebase without mutable state allows to reason about entire systems and adherence to specification
* extensive library ecosystem, yet minimal trusted code base at runtime * extensive library ecosystem, yet minimal trusted code base at runtime
* rapid prototyping with a seamless path from prototype to production * rapid prototyping with a seamless path from prototype to production