Group: Amazon Smithy Dafny
Sort by:Popular▼
✓Popular ✓Newest

1.Smithy :: Dafny :: Conversion 3 usages

software.amazon.smithy.dafny » conversion Apache

Convert Native Java Types to Dafny Runtime Types and vice versa

Last Release on Jan 13, 2026

2.Smithy :: Dafny :: Codegen

software.amazon.smithy.dafny » smithy-dafny-codegen Apache

Generates Dafny code from Smithy models

Last Release on Jun 8, 2023

Related Books

System Design on AWS: Building and Scaling Enterprise Solutions (2025)
by Kumar, Jayanth, Singh, Mandeep

Engineering Resilient Systems on AWS: Design, Build, and Test for Resilience (2024)
by Schwarz, Kevin, Moran, Jennifer, Bachmeier, Nate

Amazon Web Services in Action, Third Edition: An in-depth guide to AWS (2023)
by Wittig, Andreas, Wittig, Michael

AWS Cookbook: Recipes for Success on AWS (2022)
by Culkin, John, Zazon, Mike

Data Science on AWS: Implementing End-to-End, Continuous AI and Machine Learning Pipelines (2021)
by Fregly, Chris, Barth, Antje

Programming AWS Lambda: Build and Deploy Serverless Applications with Java (2020)
by Chapin, John, Roberts, Mike

Java Microservices and Containers in the Cloud: With Spring Boot, Kafka, PostgreSQL, Kubernetes, Helm, Terraform and AWS EKS (2024)
by Christudas, Binildas A.

Learning Amazon Web Services (AWS): A Hands-On Guide to the Fundamentals of AWS Cloud (2019)
by Wilkins, Mark

Building and Delivering Microservices on AWS: Master software architecture patterns to develop and deliver microservices to AWS Cloud (2023)
by Amar Deep Singh

Practical Amazon EC2, SQS, Kinesis, and S3: A Hands-On Approach to AWS (2017)
by Gulabani, Sunil

Serverless Programming Cookbook: Practical solutions to building serverless applications using Java and AWS (2019)
by Heartin Kanikathottu