lambdaclass / ethrex
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
lambdaclass / ethrex
aws / aws-toolkit-jetbrains
AWS Toolkit for JetBrains - a plugin for interacting with AWS from JetBrains IDEs
amanbolat / awesome-go-with-stars
Awesome-go list with stars. Automatically updated.
making / yavi
Yet Another Validation for Java (A lambda based type safe validation framework)
fyoorer / ShadowClone
Unleash the power of cloud
openfaas / faas-cli
Official CLI for OpenFaaS
aws / aws-lambda-base-images
—
stacksimplify / terraform-on-aws-ec2
Terraform On AWS for EC2, VPC, ASG, ALB, CLB, NLB, CloudWatch, SNS, S3, CodePipeline, ACM, Route53
HOL-Theorem-Prover / HOL
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
faiscadev / fakecloud
Free, open-source AWS emulator. LocalStack alternative: 107 services, 7,657 operations, true 100% Smithy conformance (258,545/258,545 variants pass). No account, no auth token, no paid tier.
ashiina / lambda-local
Commandline tool to run Amazon Lambda function on local machines.
mitchmac / ServerlessWP
Host WordPress sites on Vercel, Netlify, or AWS Lambda
ran-isenberg / aws-lambda-handler-cookbook
This repository provides a working, deployable, open source-based, serverless service blueprint with an AWS Lambda function and AWS CDK Python code with all the best practices and a complete CI/CD pipeline.
awslabs / ssosync
Populate AWS SSO directly with your G Suite users and groups using either a CLI or AWS Lambda
LambdaHack / LambdaHack
Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at
maxday / lambda-perf
Lambda Cold Starts analysis, updated daily
umihico / docker-selenium-lambda
The simplest demo of chrome automation by python and selenium in AWS Lambda
pulumi / pulumi-aws
An Amazon Web Services (AWS) Pulumi resource package, providing multi-language access to AWS
aws-samples / aws-iot-chat-example
💬 Chat application using AWS IoT platform via MQTT over the WebSocket protocol
fastify / aws-lambda-fastify
Insipired by aws-serverless-express to work with Fastify with inject functionality
aws / aws-lambda-java-libs
Official mirror for interface definitions and helper classes for Java code running on the AWS Lambda platform.
aws-samples / cloudfront-authorization-at-edge
Protect downloads of your content hosted on CloudFront with Cognito authentication using cookies and Lambda@Edge
seratch / ChatGPT-in-Slack
Swift demonstration of how to build a Slack app that enables end-users to interact with a ChatGPT bot
aws-amplify / docs
AWS Amplify Framework Documentation
LambdaBytes / sping
A modern, cross-platform ping with real-time diagnostics, network context, quality scoring, and multi-target monitoring.
weikaixi / CrossDomainAdjust
R package for frozen rank and pair encoding, partial domain centering and projection, fold-local lambda tuning, and reproducible cross-domain workflows.
LambdaLabsHQ / xmatrix
Group chat for humans and coding agents. Mention @claude, @codex, @cursor or @gemini in a channel: the agent runs on your machine with your own subscription and keeps the team's pages current.
LambdaTest / rook
rook by TestMu AI: Agent Assurance from the terminal. Test how your AI agents actually behave across workflows, tools, and actions, and catch failures and vulnerabilities before they ship.
a-r-d / PureJsImage
Low-memory, zero-dependency image codecs and processing in pure TypeScript for Node.js, browsers, and serverless runtimes. Bounded decode/resize pipelines plus deep TIFF, scientific raster, GeoTIFF, OME-TIFF, and whole-slide support.
betta-tech / jornadas-cloud-2026
Proyecto de ejemplo de las Jornadas Cloud 2026: de una web estática en S3 + CloudFront a un backend serverless con Lambda, API Gateway, DynamoDB y observabilidad en CloudWatch.
cirrostratuscloud / kube53
Kubernetes on Route53: a hosted zone as the datastore, kubectl-compatible Lambda apiserver, and an ECS/ALB reconciler. A joke that works.
stillbigjosh / adaptix-serverless-c2
Serverless C2 transport plugin for AdaptixC2 v1.2 using AWS Lambda + DynamoDB as the relay infrastructure.
awslabs / aws-service-eol-data
Machine-readable JSON dataset of AWS service version end-of-support and extended-support dates across EKS, RDS, Aurora, Lambda, ElastiCache, OpenSearch, MSK, Amazon MQ, and DocumentDB. Each entry includes lifecycle status, dates, post-support behavior, a confidence level, and a source URL. Sourced from official AWS documentation.