A plan for cybersecurity and grid safety

1. prusti-dev

   1 23 1,794 0.0 Rust

   A static verifier for Rust, based on the Viper verification infrastructure.

   

   Efforts: seL4, Project Everest, the Prossimo project of the ISRG, Let's Encrypt, and Prusti for the Rust language

2. AppSignal

   www.appsignal.com featured

   Monitoring that respects your time & budget. APM, error tracking, and dashboards for modern web apps. Ten-minute setup, transparent flat pricing, and support from engineers who actually use the product.

   

3. seL4

   2 81 5,673 9.1 C

   The seL4 microkernel

   

   Efforts: seL4, Project Everest, the Prossimo project of the ISRG, Let's Encrypt, and Prusti for the Rust language

4. liboqs

   3 14 3,031 8.9 C

   C library for prototyping and experimenting with quantum-resistant cryptography

   

   Efforts: Open Quantum Safe project

5. website

   4 286 908 9.3 HTML

   Let's Encrypt Website and Documentation (by letsencrypt)

   

   Efforts: seL4, Project Everest, the Prossimo project of the ISRG, Let's Encrypt, and Prusti for the Rust language

6. infer

   5 44 15,669 9.8 OCaml

   A static analyzer for Java, C, C++, and Objective-C

   

   Efforts: Dependabot, CodeQL, Coverity, facebook's Infer tool, etc

7. codeql

   6 31 9,908 10.0 CodeQL

   CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

   

   Efforts: Dependabot, CodeQL, Coverity, facebook's Infer tool, etc

Suggest a related project