Pinned Repositories
gretel-synthetics
Synthetic data generators for structured and unstructured text, featuring differentially private learning.
Apollo-11
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
aws-nitro-enclaves-nsm-api
This provides a library for interacting with the Nitro Secure Module, which provides Nitro Enclaves with attestation capability.
aws-request-signer
Scala library to sign HTTP requests to AWS services.
lememta.github.io
Temesghen Kahsai's webspace
s2n
s2n : an implementation of the TLS/SSL protocols
sally
Sally is a model checker for infinite-state systems.
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.
clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
seahorn
SeaHorn Verification Framework
lememta's Repositories
lememta/aws-nitro-enclaves-nsm-api
This provides a library for interacting with the Nitro Secure Module, which provides Nitro Enclaves with attestation capability.
lememta/Apollo-11
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
lememta/aws-request-signer
Scala library to sign HTTP requests to AWS services.
lememta/lememta.github.io
Temesghen Kahsai's webspace
lememta/s2n
s2n : an implementation of the TLS/SSL protocols
lememta/sally
Sally is a model checker for infinite-state systems.
lememta/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.