smithy-dafny
API generator
Tools for generating Dafny APIs and client code for AWS services and libraries in multiple languages
10 stars
5 watching
8 forks
Language: Java
last commit: 3 days ago
Linked from 1 awesome list
Related projects:
| Repository | Description | Stars |
|---|---|---|
| smithy-lang/smithy-ruby | A tool that generates Ruby SDKs for building JSON APIs. | 36 |
 aws/smithy-go | Generates Go code for interacting with Smithy models | 182 |
| smithy-lang/smithy-swift | A code generation tool for creating Swift API clients from domain models. | 30 |
| smithy-lang/smithy-examples | Provides templates and tools to build APIs using Smithy | 39 |
| smithy-lang/smithy-python | Tools for generating clients for asynchronous service APIs written in Python. | 48 |
| smithy-lang/smithy-language-server | An implementation of the Language Server Protocol for Smithy IDL, enabling language-based code completion and analysis. | 34 |
| smithy-lang/smithy | An interface definition language and set of tools for generating clients, servers, and documentation for any protocol. | 1,842 |
| smithy-lang/smithy-rs | A code generation tool for building AWS SDKs and servers in Rust. | 514 |
| smithy-lang/smithy-typescript | Generates TypeScript clients and servers from Smithy models | 240 |
 aws-samples/smithy-server-generator-typescript-sample | A sample project demonstrating how to generate TypeScript code for a serverless API using the Smithy framework. | 17 |
| smithy-lang/smithy-kotlin | A tool for generating Kotlin code from Smithy models | 84 |
 awslabs/smithy-intellij | Provides IDE integration for the Smithy IDL within IntelliJ IDEA. | 11 |
| smithy-lang/smithy-gradle-plugin | Provides plugins to integrate Smithy models with Gradle builds | 29 |
| smithy-lang/smithy-vscode | A VS Code extension for syntax highlighting and code completion of the Smithy interface definition language. | 37 |
 disneystreaming/smithy-translate | Tooling for converting and transforming Smithy files | 55 |