aws / aws-encryption-sdkLinks
AWS Encryption SDK
☆53Updated this week
Alternatives and similar repositories for aws-encryption-sdk
Users that are interested in aws-encryption-sdk are comparing it to the libraries listed below
Sorting:
- ☆22Updated 11 months ago
- Libraries useful for Dafny programs☆45Updated 2 months ago
- Communication between Coq and SAT/SMT solvers☆160Updated last month
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆32Updated last week
- ☆101Updated last week
- A Library for Representing Recursive and Impure Programs in Coq☆234Updated last month
- ☆58Updated last month
- Definition of the Viper intermediate verification language.☆89Updated last week
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆108Updated last week
- Randomized Property-Based Testing Plugin for Coq☆274Updated last month
- Ltac2 tutorial☆46Updated 2 years ago
- Definitional implementation of Cedar language and utilities for DRT☆138Updated this week
- The Eldarica model checker☆96Updated last week
- PL conference deadline countdowns☆63Updated 2 months ago
- ☆72Updated 5 months ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 3 years ago
- SMTInterpol interpolating SMT solver☆68Updated this week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- A function definition package for Coq☆233Updated 2 weeks ago
- Lecture material for DeepSpec Summer School 2017☆88Updated 4 years ago
- Coq plugin embedding elpi☆177Updated this week
- A Verified Compiler for Gallina, Written in Gallina☆156Updated last week
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆150Updated last month
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆94Updated 2 months ago
- A mechanisation of Wasm in Coq(Rocq)☆110Updated 2 months ago
- A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]☆135Updated last month
- CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory☆231Updated 3 weeks ago
- Separation Logic Proofs in Lean☆45Updated 7 months ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆124Updated last month
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆151Updated last year