Popular repositories Loading

1. Securing-1553 Securing-1553 Public

   Forked from vimtomk/Securing-1553

   Creating a solution to secure MIL-STD-1553 by creating a form of message-based encryption.

   Python

2. langkit-query-language langkit-query-language Public

   Forked from AdaCore/langkit-query-language

   query language for Libadalang and Langkit

   Ada

3. Malana Malana Public

   Forked from lightw47/Malana

   Scripts for static analysis of files

   Python

4. awesome-ada awesome-ada Public

   Forked from ohenley/awesome-ada

   A curated list of awesome resources related to the Ada and SPARK programming language

5. cwe_checker cwe_checker Public

   Forked from fkie-cad/cwe_checker

   cwe_checker finds vulnerable patterns in binary executables

   Rust

6. SV1DUR SV1DUR Public

   Forked from L1NNA/SV1DUR

   Planes-On-The-Bus-Go-Swish-Swish-Swish

   Python