Stars
Smithy code generator for Java (in development)
model-checking / verify-rust-std
Forked from rust-lang/rustVerifying the Rust standard library
Awesome Smithy is a curated list of awesome build-tools, code-generators, examples, and other resources related to the Smithy IDL.
A work-in-progress reimplementation of Dafny's compiler, in Dafny
Development Containers: Use a container as a full-featured development environment.
Smithy is a protocol-agnostic interface definition language and set of tools for generating clients, servers, and documentation for any programming language.
A tool for analyzing and reporting on Dafny, especially the results of verification
Code generation for the AWS SDK for Rust, as well as server and generic smithy client generation.
The official AWS SDK for Java 1.x (In Maintenance Mode, End-of-Life on 12/31/2025). The AWS SDK for Java 2.x is available here: https://github.com/aws/aws-sdk-java-v2/
Dafny is a verification-aware programming language
An Amazon SQS client that supports creating lightweight, automatically-deleted temporary queues, for use in common messaging patterns such as Request/Response. See http://aws.amazon.com/sqs.
An extension to the Amazon SQS client that enables sending and receiving messages up to 2GB via Amazon S3.
This Amazon SQS Java Messaging Library holds the Java Message Service compatible classes, that are used for communicating with Amazon Simple Queue Service.