Statistical Verification Framework for Platooning SoS with Uncertainty
☆28Oct 12, 2022Updated 3 years ago
Alternatives and similar repositories for StarPlateS
Users that are interested in StarPlateS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SoS Simulation Engine☆24Jul 20, 2024Updated last year
- ☆13Apr 27, 2021Updated 5 years ago
- SIMVA-SoS Lite☆13Nov 26, 2020Updated 5 years ago
- Simulation Codes for Three Dynamic Pricing Schemes for Resource Allocation of Edge Computing for IoT Environment☆31Nov 6, 2019Updated 6 years ago
- ☆32May 29, 2019Updated 7 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.
- [NeurIPS 2023] Official Implementation: "Consistent Diffusion Models"☆58Apr 17, 2023Updated 3 years ago
- learning based mobile edge computing simulator☆69May 27, 2022Updated 4 years ago
- 대량의 네이버 뉴스 기사를 수집하는 라이브러리입니다.☆97Feb 3, 2023Updated 3 years ago
- Research Artifact of ICSE 2023 Paper: Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion☆271Feb 22, 2025Updated last year
- Korean Morphological Analyzer by shineware☆317Mar 30, 2026Updated 3 months ago
- Awesome list of Korean Large Language Models.☆480Oct 31, 2023Updated 2 years ago
- Fast CUDA implementation of (differentiable) soft dynamic time warping for PyTorch☆733Apr 3, 2024Updated 2 years ago
- [Zoom & Facebook Live] Weekly AI Arxiv 시즌2☆962Aug 27, 2023Updated 2 years ago
- Korean GPT-2 pretrained cased (KoGPT2)☆558Oct 3, 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.
- 한국어 자연어처리를 위한 파이썬 라이브러리입니다. 단어 추출/ 토크나이저 / 품사판별/ 전처리의 기능을 제공합니다.☆985Mar 10, 2026Updated 3 months ago
- Official code for Score-Based Generative Modeling through Stochastic Differential Equations (ICLR 2021, Oral)☆1,835Nov 29, 2022Updated 3 years ago
- Kakao Hangul Analyzer III☆1,448Jun 10, 2026Updated 3 weeks ago
- Korean BERT pre-trained cased (KoBERT)☆1,410Jun 14, 2025Updated last year
- asyncio (PEP 3156) Redis support☆2,283Feb 20, 2023Updated 3 years ago
- Implementations of basic RL algorithms with minimal lines of codes! (pytorch based)☆3,207Apr 22, 2023Updated 3 years ago
- Differentiable ODE solvers with full GPU support and O(1)-memory backpropagation.☆6,453Apr 4, 2025Updated last year
- 좋은 개발팀을 만드는데 도움이 되는 자료☆3,399Apr 16, 2026Updated 2 months ago
- A tiny but valid `init` for containers☆11,137May 8, 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.
- Blame someone else for your bad code.☆11,662Dec 4, 2023Updated 2 years ago
- A curated list of Site Reliability and Production Engineering resources.☆13,294Aug 28, 2025Updated 10 months ago
- Redis Python client☆13,579Updated this week
- A beautiful, simple, clean, and responsive Jekyll theme for academics☆15,786Jun 23, 2026Updated last week
- State-of-the-Art Deep Learning scripts organized by models - easy to train and deploy with reproducible accuracy and performance on enter…☆14,827Aug 12, 2024Updated last year
- Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, an…☆119,257Jun 25, 2026Updated last week
- SQL databases in Python, designed for simplicity, compatibility, and robustness.☆18,153Jun 26, 2026Updated last week
- A React-based UI toolkit for the web☆21,882Updated this week
- Simple and flexible tool for managing secrets☆22,216Jun 26, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 📚 Playground and cheatsheet for learning Python. Collection of Python scripts that are split by topics and contain code examples with ex…☆18,081Apr 6, 2026Updated 2 months ago
- A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.☆22,717Mar 20, 2026Updated 3 months ago
- A playbook for systematically maximizing the performance of deep learning models.☆30,218Jun 18, 2024Updated 2 years ago
- A toolkit for developing and comparing reinforcement learning algorithms.☆37,237Mar 26, 2026Updated 3 months ago
- f.k.a. Awesome ChatGPT Prompts. Share, discover, and collect prompts from the community. Free and open source — self-host for your organi…☆164,616Updated this week
- 📝 Algorithms and data structures implemented in JavaScript with explanations and links to further readings☆196,188Jun 26, 2026Updated last week
- Interactive roadmaps, guides and other educational content to help developers grow in their careers.☆358,498Jun 25, 2026Updated last week