afronski

afronski's Stars

• tailwindlabs/tailwindcss

  A utility-first CSS framework for rapid UI development.

  Language:TypeScript84k6203.6k4.3k

• stanfordnlp/dspy

  DSPy: The framework for programming—not prompting—language models

  Language:Python20.4k1518831.5k

• HigherOrderCO/Bend

  A massively parallel, high-level programming language

  Language:Rust17.8k99262438

• DS4SD/docling

  Get your documents ready for gen AI

  Language:Python16.2k77260828

• e2b-dev/E2B

  Secure open source cloud runtime for AI apps & AI agents

  Language:HTML7.2k66169472

• Qovery/Replibyte

  Seed your development database with real data ⚡️

  Language:Rust4.2k24171129

• model-checking/kani

  Kani Rust Verifier

  Language:Rust2.3k241.7k97

• event-catalog/eventcatalog

  An open source documentation tool to bring discoverability to your event-driven architectures

  Language:TypeScript1.8k22299156

• verus-lang/verus

  Verified Rust for low-level systems code

  Language:Rust1.3k2548676

• tlaplus/DrTLAPlus

  Dr. TLA+ series - learn an algorithm and protocol, study a specification

  Language:TLA823107098

• superfly/corrosion

  Gossip-based service discovery (and more) for large distributed systems.

  Language:Rust76164023

• aws-samples/amazon-bedrock-serverless-prompt-chaining

  Build complex, serverless, and highly scalable generative AI applications with prompt chaining.

  Language:Python2457275

• awslabs/project-lakechain

  :zap: Cloud-native, AI-powered, document processing pipelines on AWS.

  Language:TypeScript150113223

• awslabs/cedar-access-control-for-k8s

  Cedar for Kubernetes brings the power of Cedar to Kubernetes authorization and admission validation, showing how cluster administrators can enable a unified access control language for principals making API calls and giving policy authors a single language to write and reason about

  Language:Go991006

• ray-pH/diagramatics

  Interactive Diagram Maker js library

  Language:TypeScript9061411

• 0atman/HumanMadeMark-com

  PROJECT RENAMED. GO HERE:

  Language:Rust70364

• aws/aws-advanced-python-wrapper

  The AWS Advanced Python Driver is complementary to and extends the functionality of an existing Python database driver to help an application take advantage of the features of clustered databases such as Amazon Aurora.

  Language:Python62342

• ServerlessDevelopers/serverless-rust

  Language:Rust50657

• aws-samples/amazon-kinesis-video-streams-consumer-library-for-python

  Language:Python2981118

• visualpartnership/beam-graphic-recordings

  Graphic recordings of BEAM conferences. 🎨

  15500

• Vanlightly/table-formats-tlaplus

  TLA+ specs for table formats

  Language:TLA13104

• miroapp/cloud-data-import

  CLI Tool for Importing Cloud Data to Visualize Cloud Infrastructure in Miro

  Language:TypeScript9483

• jossmoff/gatling-stepfunction-extension

  ⚡ A Gatling extension to analyse the execution of a step function

  Language:Scala62112

• danilop/llm-test-mate

  A simple testing framework to evaluate and validate LLM-generated content using string similarity, semantic similarity, and model-based evaluation.

  Language:Python5

• Donovan1905/Greenfra

  Greenfra aims to estimate the carbon footprint of resources change within your local Terraform changes.

  Language:Go5100

• celest-dev/corks

  Modern authorization token format based on Macaroons and Cedar

  Language:Dart4000

• danilop/knn-search-algorithm-comparison

  KNN Search Algorithm Comparison – This project compares the performance of different K-Nearest Neighbors (KNN) search algorithms across various dataset sizes and dimensions.

  Language:Python310

• fly-apps/fly-replay-js

  An example VanillaJS app showing off `fly-replay`

  Language:Dockerfile380

• 094459/q-workshop

  A simple workshop that helps you get started with Amazon Q Developer

  Language:Dockerfile210

• lucianpatian/aws-community-day-romania

  aws-community-day-romania

  Language:JavaScript1