Giters
Temesghen Kahsai (lememta)

lememta

Geek Repo

11

followers

17

following

13

stars

Location:Mountain View, CA

Home Page:http://lememta.info

Github PK Tool:Github PK Tool

Temesghen Kahsai's repositories

aws-nitro-enclaves-nsm-api

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

Language:RustLicense:Apache-2.0Stargazers:1Issues:1Issues:0

Apollo-11

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

Language:AssemblyStargazers:0Issues:2Issues:0

aws-request-signer

Scala library to sign HTTP requests to AWS services.

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

lememta.github.io

Temesghen Kahsai's webspace

Language:CSSStargazers:0Issues:2Issues:0

s2n

s2n : an implementation of the TLS/SSL protocols

Language:CLicense:Apache-2.0Stargazers:0Issues:2Issues:0

sally

Sally is a model checker for infinite-state systems.

Language:C++License:GPL-2.0Stargazers:0Issues:0Issues:0

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 lines of code. Soufflé aims at producing high-performance C++ code that can be compiled with the native compiler on the target machine.

Language:C++Stargazers:0Issues:2Issues:0