Popular repositories Loading

1. aws-nitro-enclaves-nsm-api aws-nitro-enclaves-nsm-api Public

   Forked from aws/aws-nitro-enclaves-nsm-api

   This provides a library for interacting with the Nitro Secure Module, which provides Nitro Enclaves with attestation capability.

   Rust 1

2. lememta.github.io lememta.github.io Public

   Temesghen Kahsai's webspace

   CSS

3. sally sally Public

   Forked from SRI-CSL/sally

   Sally is a model checker for infinite-state systems.

   C++

4. s2n s2n Public

   Forked from aws/s2n-tls

   s2n : an implementation of the TLS/SSL protocols

   C

5. Apollo-11 Apollo-11 Public

   Forked from chrislgarry/Apollo-11

   Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

   Assembly

6. souffle souffle Public

   Forked from souffle-lang/souffle

   Soufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of line…

   C++