magic-wormhole
Armada
magic-wormhole | Armada | |
---|---|---|
2 | 2 | |
11,734 | 138 | |
- | 0.7% | |
4.2 | 4.3 | |
over 3 years ago | 4 months ago | |
Python | C# | |
MIT License | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
magic-wormhole
-
Linux Hardening Guide
magic-wormhole could be useful. Secure and fast (and fun to use)!
https://github.com/warner/magic-wormhole
-
Looking For An Ephemeral File Sharing Webapp
The project of magic-wormhole (https://github.com/warner/magic-wormhole)
Armada
-
Any way to guarantee the absence of undefined behaviour short of SPARK?
Similarly there exist systems for giving formal assurances about concurrent C code, but that's not something the language itself offers.
-
Linux Hardening Guide
Even there it depends. 'Programming practices' is vague. Even C can be tamed, at great expense, using formal methods techniques. [0][1][2][3] Adoption of such methods can give a solid assurance of the lack of UB, like use of a safe language. Weaker measures, like adopting MISRA C, don't provide such strong assurances (although they can eliminate certain categories of errors), and as you indicate, their real value is a bit more subjective. Mandating a bad programming style could actively make things worse.
[0] https://trust-in-soft.com/
[1] https://www.eschertech.com/products/perfect_developer.php
[2] https://github.com/microsoft/Armada
[3] https://www.microsoft.com/en-us/research/project/vcc-a-verif...
What are some alternatives?
croc - Easily and securely send things from one computer to another :crocodile: :package:
ansible-collection-hardening - This Ansible collection provides battle tested hardening for Linux, SSH, nginx, MySQL
madaidans-insecurities.github.io
rustls - A modern TLS library in Rust
armada - A multi-cluster batch queuing system for high-throughput workloads on Kubernetes.
Win32-OpenSSH - Win32 port of OpenSSH
pam_pwnd - A PAM module to test passwords against previous leaks at haveibeenpwned.com
systemd - The systemd System and Service Manager