Skip to content
View robin-aws's full-sized avatar
  • Amazon Web Services
  • North Vancouver, BC, Canada

Organizations

@dafny-lang

Block or report robin-aws

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results
Lean 101 17 Updated Oct 21, 2025

Action for installing Dafny

JavaScript 3 5 Updated Sep 2, 2025
Java 12 11 Updated Oct 22, 2025

Smithy code generator for Java (in development)

Java 45 18 Updated Oct 22, 2025

Silky smooth Java-Rust interop

Rust 194 20 Updated Oct 22, 2025

Verifying the Rust standard library

Rust 299 58 Updated Oct 21, 2025

Awesome Smithy is a curated list of awesome build-tools, code-generators, examples, and other resources related to the Smithy IDL.

226 19 Updated Jul 28, 2025

Dafny plugin for Gradle

Java 2 2 Updated Jan 10, 2025

A work-in-progress reimplementation of Dafny's compiler, in Dafny

Dafny 7 1 Updated Jan 4, 2024

Development Containers: Use a container as a full-featured development environment.

4,728 367 Updated Aug 1, 2025

Smithy is a protocol-agnostic interface definition language and set of tools for generating clients, servers, and documentation for any programming language.

Java 2,119 240 Updated Oct 21, 2025

AWS Encryption SDK

Rust 53 23 Updated Oct 21, 2025

Kani Rust Verifier

Rust 2,709 130 Updated Oct 20, 2025

Libraries useful for Dafny programs

Dafny 45 25 Updated Aug 19, 2025

A tool for analyzing and reporting on Dafny, especially the results of verification

Dafny 3 5 Updated Feb 27, 2025

Boogie

Boogie 558 118 Updated Oct 9, 2025

The Z3 Theorem Prover

C++ 11,457 1,570 Updated Oct 21, 2025

Dafny request-for-feature discussions

1 6 Updated Mar 8, 2024

Code generation for the AWS SDK for Rust, as well as server and generic smithy client generation.

Rust 610 220 Updated Oct 22, 2025

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/

Java 4,181 2,821 Updated Oct 2, 2025

Dafny is a verification-aware programming language

C# 3,177 285 Updated Oct 21, 2025

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.

Java 97 26 Updated Nov 7, 2023

An extension to the Amazon SQS client that enables sending and receiving messages up to 2GB via Amazon S3.

Java 223 112 Updated Jun 2, 2025

This Amazon SQS Java Messaging Library holds the Java Message Service compatible classes, that are used for communicating with Amazon Simple Queue Service.

Java 180 151 Updated Feb 21, 2025