Skip to content
View lememta's full-sized avatar

Block or report lememta

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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