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:
- Typescript API to access the Runloop platform☆28Updated this week
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 4 months ago
- ☆23Sep 14, 2025Updated 7 months ago
- Time-ordered UUIDv4☆20Jun 10, 2024Updated last year
- ☆14Mar 3, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆13Oct 9, 2023Updated 2 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 4 years ago
- ☆13Sep 15, 2022Updated 3 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Paste Word, get Markdown☆17Jul 30, 2024Updated last year
- ☆23Jun 5, 2025Updated 10 months ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- 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
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 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
- playing with gpt4☆14Mar 17, 2023Updated 3 years ago
- Q&A dataset for many-shot jailbreaking☆14Jul 19, 2024Updated last year
- ☆14Aug 25, 2023Updated 2 years ago
- Lean 3 web editor☆12Oct 25, 2023Updated 2 years ago
- ☆16Apr 3, 2026Updated last week
- The SBT Plugin for Artifactory resolve and pulish☆12Jul 22, 2023Updated 2 years ago
- Various implementations of ConvNet reinforcement learning agents trained against Street Fighter using the MAMEToolkit☆22Jan 10, 2020Updated 6 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Experiments with some ways of automating reasoning in lean 4☆17Apr 20, 2024Updated last year
- ☆10Aug 17, 2018Updated 7 years ago
- Code for ICCV2025 paper——IDEATOR: Jailbreaking and Benchmarking Large Vision-Language Models Using Themselves☆17Jul 11, 2025Updated 9 months ago
- ☆49Jan 28, 2026Updated 2 months ago
- Explanation Ontology Resource website☆12Jun 8, 2024Updated last year
- Training MMDetection CV models on AWS Sagemaker platform☆15Jan 20, 2021Updated 5 years ago
- ☆45Nov 3, 2025Updated 5 months ago
- My docker dev tools image, usable anywhere where docker is☆12Oct 18, 2016Updated 9 years ago
- Code for Sufficient Input Subsets Paper☆14Mar 8, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Fine-tune FLUX 1.dev for personal AI photos☆22Sep 4, 2024Updated last year
- Create an LLM XML context document from an llms.txt file☆23Aug 26, 2024Updated last year
- ☆13Nov 12, 2019Updated 6 years ago
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆12Jul 18, 2022Updated 3 years ago
- Verified decision procedures for modal logics in Lean☆12Jun 13, 2020Updated 5 years ago
- Source code of Neural Logic Reinforcement Learning (https://arxiv.org/abs/1904.10729)☆77Jan 6, 2020Updated 6 years ago
- ☆14Jan 11, 2021Updated 5 years ago