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
- SIMVA-SoS: Simulation-based Verification and Analysis for SoS☆29Nov 17, 2020Updated 5 years ago
- SIMVA-SoS Lite☆13Nov 26, 2020Updated 5 years ago
- 세종 구문 분석 말뭉치의 의존 구문 구조로의 변환 도구☆10Sep 7, 2018Updated 7 years ago
- Carla 0.9.15 and Autoware Universe Humble☆233Mar 9, 2026Updated 3 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- This repository provides list of Korean NLP papers.☆202Jun 22, 2020Updated 5 years ago
- I patched my Slack client to keep messages that others delete☆352Sep 7, 2022Updated 3 years ago
- Facial Landmark Detection and head pose compute use dlib, Real time Face Reconstruction use 3D Morphable Face Model fitting☆396Oct 6, 2017Updated 8 years ago
- [CoRL 2022] InterFuser: Safety-Enhanced Autonomous Driving Using Interpretable Sensor Fusion Transformer☆648Jan 4, 2026Updated 5 months ago
- 한국어 자연어처리를 위한 파이썬 라이브러리입니다. 단어 추출/ 토크나이저 / 품사판별/ 전처리의 기능을 제공합니다.☆984Mar 10, 2026Updated 3 months ago
- FastAPI Template with Docker, Postgres☆1,252Mar 19, 2026Updated 2 months ago
- A helm plugin that help manage secrets with Git workflow and store them anywhere☆2,006Jun 7, 2026Updated last week
- An implementation of Microsoft's "FastSpeech 2: Fast and High-Quality End-to-End Text to Speech"☆2,180Oct 27, 2023Updated 2 years ago
- WaveNet vocoder☆2,371Jul 29, 2023Updated 2 years ago
- 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.
- Kakao Hangul Analyzer III☆1,448Updated this week
- ☆1,068Apr 4, 2023Updated 3 years ago
- A horizontally scalable, highly available, multi-tenant, long term Prometheus.☆5,812Updated this week
- List of tools & datasets for anomaly detection on time-series data.☆3,168Oct 21, 2024Updated last year
- Differentiable ODE solvers with full GPU support and O(1)-memory backpropagation.☆6,442Apr 4, 2025Updated last year
- 좋은 개발팀을 만드는데 도움이 되는 자료☆3,399Apr 16, 2026Updated last month
- Marketing skills for Claude Code and AI agents. CRO, copywriting, SEO, analytics, and growth engineering.☆32,547Jun 5, 2026Updated last week
- Tutorials on implementing a few sequence-to-sequence (seq2seq) models with PyTorch and TorchText.☆5,696Jan 20, 2024Updated 2 years ago
- Posit Cheat Sheets - Can also be found at https://posit.co/resources/cheatsheets/.☆6,361Apr 9, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A fast PostgreSQL Database Client Library for Python/asyncio.☆8,045Feb 27, 2026Updated 3 months ago
- 🍦 Never use print() to debug again.☆10,062Apr 3, 2026Updated 2 months ago
- 🙍 tech interview☆4,875Nov 17, 2022Updated 3 years ago
- Redis Python client☆13,558Updated this week
- Full stack, modern web application template. Using FastAPI, React, SQLModel, PostgreSQL, Docker, GitHub Actions, automatic HTTPS and more…☆43,632Updated this week
- Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, an…☆109,600Updated this week
- SQL databases in Python, designed for simplicity, compatibility, and robustness.☆18,014Jun 8, 2026Updated last week
- Simple and flexible tool for managing secrets☆22,092Updated this week
- Material Design Components in HTML/CSS/JS☆32,175May 3, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A playbook for systematically maximizing the performance of deep learning models.☆30,183Jun 18, 2024Updated last year
- Technical-Interview guidelines written for those who started studying programming. I wish you all the best.☆21,537Aug 9, 2024Updated last year
- Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects,…☆48,933Jun 8, 2026Updated last week
- 🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal model…☆161,518Updated this week
- 📝 Algorithms and data structures implemented in JavaScript with explanations and links to further readings☆196,078May 28, 2026Updated 2 weeks ago
- Visual Studio Code☆186,127Updated this week
- Linux kernel source tree☆236,377Updated this week