SIMVA-SoS Lite
☆13Nov 26, 2020Updated 5 years ago
Alternatives and similar repositories for SIMVA-SoS-Lite
Users that are interested in SIMVA-SoS-Lite are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Apr 27, 2021Updated 5 years ago
- Data-driven environment model generation for complex system such as System-of-Systems and Self-Adaptive System☆16Oct 29, 2018Updated 7 years ago
- SoS Simulation Engine☆24Jul 20, 2024Updated 2 years ago
- Statistical Verification Framework for Platooning SoS with Uncertainty☆28Oct 12, 2022Updated 3 years ago
- SIMVA-SoS: Simulation-based Verification and Analysis for SoS☆29Nov 17, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Spectrum-based fault localization on collaboration graph of System-of-Systems☆30Aug 14, 2019Updated 7 years ago
- A framework for inference and testing of software behaviour.☆13Jun 14, 2023Updated 3 years ago
- Java-hosted execution of Protelis programs☆22Updated this week
- Accelerator-Docker : provides common interface for automatic passthrough of heterogeneous hardware accelerators in docker☆37Oct 21, 2019Updated 6 years ago
- Convert Sumo .net.xml road network files into road geometry inside Unreal☆50Mar 19, 2020Updated 6 years ago
- Research Artifact of ICSE 2023 Paper: Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion☆272Feb 22, 2025Updated last year
- Carla 0.9.15 and Autoware Universe Humble☆238Mar 9, 2026Updated 5 months ago
- Explore the basics of machine learning by building your own teachable object at home.☆292Aug 18, 2025Updated 11 months ago
- I patched my Slack client to keep messages that others delete☆353Sep 7, 2022Updated 3 years 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.
- 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☆652Jan 4, 2026Updated 7 months ago
- Fast CUDA implementation of (differentiable) soft dynamic time warping for PyTorch☆735Apr 3, 2024Updated 2 years ago
- A list of projects that were or will be featured in Weekly Robotics newsletter☆1,060May 31, 2026Updated 2 months ago
- R package: future: Unified Parallel and Distributed Processing in R for Everyone☆1,015Jul 20, 2026Updated 3 weeks ago
- A Python package to assess and improve fairness of machine learning models.☆2,268Updated this week
- A complete study plan to become a Site Reliability Engineer.☆1,478Oct 4, 2022Updated 3 years ago
- Collection of useful notebooks and snippets☆1,498Mar 11, 2018Updated 8 years ago
- A library of modular chart components built on D3☆3,108Sep 8, 2025Updated 11 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Implementations of basic RL algorithms with minimal lines of codes! (pytorch based)☆3,218Apr 22, 2023Updated 3 years ago
- A horizontally scalable, highly available, multi-tenant, long term Prometheus.☆5,849Updated this week
- A collection of 130+ specialized Codex subagents covering a wide range of development use cases.☆5,974Jul 10, 2026Updated last month
- Posit Cheat Sheets - Can also be found at https://posit.co/resources/cheatsheets/.☆6,396Aug 7, 2026Updated last week
- Mini website for testing both general CS knowledge and enforce coding practice and common algorithm/data structure memorization.☆9,165Jan 13, 2025Updated last year
- Blame someone else for your bad code.☆11,697Dec 4, 2023Updated 2 years ago
- A curated list of Site Reliability and Production Engineering resources.☆13,435Aug 28, 2025Updated 11 months ago
- A beautiful, simple, clean, and responsive Jekyll theme for academics☆16,006Updated this week
- Generative Agents: Interactive Simulacra of Human Behavior☆21,932Aug 5, 2024Updated 2 years 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 React-based UI toolkit for the web☆21,988Updated this week
- 📚 Playground and cheatsheet for learning Python. Collection of Python scripts that are split by topics and contain code examples with ex…☆18,195Apr 6, 2026Updated 4 months ago
- ncnn is a high-performance neural network inference framework optimized for the mobile platform☆23,697Updated this week
- A collection of 100+ specialized Claude Code subagents covering a wide range of development use cases☆24,294Updated this week
- Material Design Components in HTML/CSS/JS☆32,187May 3, 2026Updated 3 months ago
- Marketing skills for Claude Code and AI agents. CRO, copywriting, SEO, analytics, and growth engineering.☆44,264Jul 29, 2026Updated 2 weeks ago
- An ultra-simplified explanation to design patterns☆48,443Dec 2, 2024Updated last year