Popular repositories Loading

1. sage-lang sage-lang Public

   🌿 SAGE - Semi-formal AI-Guided Engineering Language

   Lean 3

2. 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

3. lememta.github.io lememta.github.io Public

   Temesghen Kahsai's webspace

   CSS

4. sally sally Public

   Forked from SRI-CSL/sally

   Sally is a model checker for infinite-state systems.

   C++

5. s2n s2n Public

   Forked from aws/s2n-tls

   s2n : an implementation of the TLS/SSL protocols

   C

6. 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