Similar repositories to aws/aws-encryption-sdk-dafny:
aws/aws-encryption-sdk-dafny
github
similar
danistefanovic/build-your-own-x
github
similar
awslabs/typecart
github
similar
CVC4/signatures
github
similar
dafny-lang/libraries
github
similar
jsiek/denotational_semantics
github
similar
k6io/k6
github
similar
bedrocksystems/cpp2v
github
similar
gibiansky/IHaskell
github
similar
conal/Collaboration
github
similar
book-searcher-org/book-searcher
github
similar
Dargones/libraries
github
similar
aws/codeartifact-origin-control-toolkit
github
similar
dafny-lang/dafny-reportgenerator
github
similar
awslabs/aws-kms-compliance-checker
github
similar
michael-emmi/bam-bam-boogieman
github
similar
sorawee/pprint-compact
github
similar
xldenis/rhb-specs
github
similar
neel-krishnaswami/ott-example
github
similar
c-cube/smtlib-utils
github
similar
alcides/AoC2021Lean4
github
similar
awslabs/data-classification-checker
github
similar
seahorn/verify-c-common
github
similar
fpottier/loop
github
similar
slasser/CoStar
github
similar
philzook58/z3-rise4fun
github
similar
favonia/ocaml-objdump
github
similar
larsk21/iris-lean
github
similar
awslabs/aws-crypto-policy-compliance-checker
github
similar
metaocaml/metaocaml-opam
github
similar
backtracking/program-proofs-with-why3
github
similar
uwplse/coq-plugin-lib
github
similar
leanprover/LeanInk
github
similar
avigad/polya
github
similar
ucsd-progsys/liquid-sf
github
similar
drouhling/LaSalle
github
similar
unison-code/uni-instr-sel
github
similar
smtcoq/sniper
github
similar
letouzey/coq-minicalc
github
similar
arthurpaulino/LeanMySQL
github
similar