aqjune-aws

For AWS development

AWS, Automated Reasoning GroupAustin, TX

Pinned Repositories

aws-lc-public
AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.
Language:C++00
hol-light
The HOL Light theorem prover
Language:OCaml00
LNSym-public
Armv8 Native Code Symbolic Simulator in Lean
Language:Lean00
s2n-bignum
Language:OCaml00
slothy
Assembly super-optimization via constraint solving
Language:Assembly00
aws-lc
AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.
Language:C++398 22 47118
hol-light
The HOL Light theorem prover
Language:OCaml432 26 5378

aqjune-aws's Repositories

aqjune-aws/hol-light
The HOL Light theorem prover
Language:OCaml
aqjune-aws/s2n-bignum
Language:OCaml
aqjune-aws/slothy
Assembly super-optimization via constraint solving
Language:Assembly
aqjune-aws/LNSym-public
Armv8 Native Code Symbolic Simulator in Lean
aqjune-aws/aws-lc-public
AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.
Language:C++