typednotes/infra
Declare the infrastructure
GitHub repository with 9 stars and 0 forks.
Language: Lean
Topics: aws, cloud, cloud-management, dependent-types, devops, gcp, iac, infrastructure-as-code, lean, lean4
Declare the infrastructure
GitHub repository with 9 stars and 0 forks.
Language: Lean
Topics: aws, cloud, cloud-management, dependent-types, devops, gcp, iac, infrastructure-as-code, lean, lean4
2026-10-02: 9 stars and 0 forks.
To learn about dev ops
GitHub repository with 12 stars and 1 forks.
Trending score: 0.00.
Topics: aws, ci-cd, docker, kubernetes, linux
Some of my tools and sample code for building with AWS.
GitHub repository with 35 stars and 10 forks.
Trending score: 0.00.
Language: Python
Constructs for provisioning and referencing domain identities which can be used in SES RuleSets and Actions Construct.
GitHub repository with 37 stars and 12 forks.
Trending score: 0.00.
Language: TypeScript
🗺️ An AI-powered platform (and VS Code extension) that transforms natural‑language prompts into fully editable Mermaid diagrams - flowcharts, UML, mind‑maps, ERDs and more - right in your browser. With built‑in versioning, collaboration, and export options, it’s the “Figma for graphs” that lets teams visualize and share ideas in seconds!
GitHub repository with 20 stars and 8 forks.
Trending score: 0.00.
Language: TypeScript
Topics: aws, express, github-actions, mermaid, mermaid-diagrams, mermaidjs
📨 Simple email interface across multiple service providers (ses, postmark, mailgun, mandrill, resend, sendgrid, smtp)
GitHub repository with 45 stars and 6 forks.
Trending score: 0.00.
Language: Go
Topics: email, mail, go, postmark, ses, smtp
DynamoDB Local Maven Plugin: starts and stops a local test server
GitHub repository with 31 stars and 24 forks.
Trending score: 0.00.
Language: Java