Run vLLM on Amazon Sagemaker
☆27Jul 19, 2024Updated last year
Alternatives and similar repositories for vllm-on-sagemaker
Users that are interested in vllm-on-sagemaker are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 6 months ago
- ☆13Jun 20, 2023Updated 2 years ago
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆12Oct 3, 2020Updated 5 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 4 years ago
- ☆13Sep 15, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- This repository provides tutorial, which discusses running sample publisher and subscriber using multiple transports of point_cloud_trans…☆11Mar 17, 2026Updated 2 months ago
- Code repository for the paper "The Inherent Limits of Pretrained LLMs: The Unexpected Convergence of Instruction Tuning and In-Context Le…☆14Jan 16, 2025Updated last year
- The Pair App is employed by the Agency of Learning for team management and communication.☆10Apr 13, 2024Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆17Apr 29, 2025Updated last year
- ☆61Dec 2, 2024Updated last year
- Deployment code for image generative AI and other related image based tasks.☆22May 15, 2023Updated 3 years ago
- Rust CLI that converts EPUBs to YAML-headed markdown with byte/line offsets per chapter, for token-efficient agent reading☆60May 2, 2026Updated 3 weeks ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆15Nov 10, 2023Updated 2 years ago
- Program uses cv2 to display many streams from cameras, web pages, local files☆13Jan 31, 2021Updated 5 years ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- We use an adversarial expert based online learning algorithm to learn the optimal parameters required to maximise wealth trading zero-cos…☆11Apr 8, 2020Updated 6 years ago
- A Python library for dewarping/straightening/reformatting document images and PDFs☆20Feb 27, 2025Updated last year
- playing with gpt4☆13Mar 17, 2023Updated 3 years ago
- LFSC Proof Checker☆11Sep 14, 2023Updated 2 years ago
- ASCII Smuggling Hidden Prompt Injection is a novel approach to hacking AI assistants using Unicode Tags. This project demostrate how to u…☆18Aug 7, 2024Updated last year
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 5 years ago
- Explanation Ontology Resource website☆12Jun 8, 2024Updated last year
- Training MMDetection CV models on AWS Sagemaker platform☆15Jan 20, 2021Updated 5 years ago
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 years ago
- Rspec to minitest converter☆26Jun 4, 2023Updated 2 years ago
- My docker dev tools image, usable anywhere where docker is☆12Oct 18, 2016Updated 9 years ago
- ☆57Jan 28, 2026Updated 3 months ago
- ☆16Aug 20, 2022Updated 3 years ago
- Fine-tune FLUX 1.dev for personal AI photos☆22Sep 4, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An ocaml implementation of conflict-driven reasoning☆15Jul 13, 2018Updated 7 years ago
- A ppx rewriter that generates hash functions from type expressions and definitions☆16May 18, 2026Updated last week
- ☆13Nov 12, 2019Updated 6 years ago
- Reasoning on the response of logical signaling networks with Answer Set Programming☆15Feb 10, 2026Updated 3 months ago
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆12Jul 18, 2022Updated 3 years ago
- CCCS security control profiles expressed using OSCAL☆21Oct 6, 2025Updated 7 months ago
- ☆12Jun 18, 2024Updated last year