smithy-dafny
by smithy-lang
AI summary
API generator
Tools for generating Dafny APIs and client code for AWS services and libraries in multiple languages
- stars
- 10
- forks
- 8
- watching
- 5
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
API generator
A tool that generates Ruby SDKs for building JSON APIs.
Client generator
Generates Go code for interacting with Smithy models
API client generator
A code generation tool for creating Swift API clients from domain models.
API builder
Provides templates and tools to build APIs using Smithy
API client generator
Tools for generating clients for asynchronous service APIs written in Python.
Language Server
An implementation of the Language Server Protocol for Smithy IDL, enabling language-based code completion and analysis.
Protocol interface generator
An interface definition language and set of tools for generating clients, servers, and documentation for any protocol.
Rust SDK generator
A code generation tool for building AWS SDKs and servers in Rust.
Client/Server Generator
Generates TypeScript clients and servers from Smithy models
API generator
A sample project demonstrating how to generate TypeScript code for a serverless API using the Smithy framework.
Kotlin generator
A tool for generating Kotlin code from Smithy models
Smithy IDE
Provides IDE integration for the Smithy IDL within IntelliJ IDEA.
Build tool plugin
Provides plugins to integrate Smithy models with Gradle builds
Smithy editor
A VS Code extension for syntax highlighting and code completion of the Smithy interface definition language.
Smithy transformer
Tooling for converting and transforming Smithy files
Featured in 1 awesome list
Each link jumps to the spot where the list mentions smithy-dafny.