Skip to content
This repository was archived by the owner on Sep 30, 2020. It is now read-only.

Commit 15051f8

Browse files
committed
Add Galois to friends
as per email sent to [email protected]
1 parent f12db69 commit 15051f8

File tree

2 files changed

+40
-0
lines changed

2 files changed

+40
-0
lines changed

_data/users.yml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -504,3 +504,8 @@
504504
url: https://centricular.com
505505
logo: centricular.svg
506506
how: "Internal & Free Software projects and customer projects, mostly audio/video/multimedia processing related."
507+
-
508+
name: Galois
509+
url: https://galois.com
510+
logo: galois.svg
511+
how: "Galois is integrating Rust with high-assurance technologies like the seL4 secure microkernel to build the next generation of trustworthy cyber-physical systems."

logos/galois.svg

Lines changed: 35 additions & 0 deletions
Loading

0 commit comments

Comments
 (0)