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 4 years ago
- SoS Simulation Engine☆24Jul 20, 2024Updated last year
- 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
- A Python package to assess and improve fairness of machine learning models.☆2,219Mar 16, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A beautiful, simple, clean, and responsive Jekyll theme for academics☆15,359Updated this week
- Material Design Components in HTML/CSS/JS☆32,199Mar 11, 2025Updated last year
- Fast animations with javascript and CSS transforms☆5,185Sep 10, 2016Updated 9 years ago
- POC for CVE-2023-24488☆14Jul 4, 2023Updated 2 years ago
- ☆21Jan 23, 2026Updated 2 months ago
- Discover web technologies in web applications from your terminal☆55Nov 18, 2021Updated 4 years ago
- A multiple taggable select autocomplete dropdown component for Vue☆12Oct 15, 2020Updated 5 years ago
- OpenAssistant is a chat-based assistant that understands tasks, can interact with third-party systems, and retrieve information dynamical…☆37,435Aug 17, 2024Updated last year
- Simple solution for compiling pug templates into vanilla JS functions for blazin' fast client-side use.☆16Jan 22, 2026Updated 2 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Utility to generate type-checked enums, friendly for usage with go:generate.☆11Sep 18, 2015Updated 10 years ago
- A homemade pocket calculator☆13Jun 28, 2020Updated 5 years ago
- Top.gg Auto-Posting made easy.☆13Feb 17, 2024Updated 2 years ago
- Parse JavaScript code comments. Works with block and line comments, and should work with CSS, LESS, SASS, or any language with the same …☆67Dec 19, 2022Updated 3 years ago
- Creates a changelog from git log history.☆10Mar 16, 2026Updated last week
- A test suite and interface you can use to implement a chunk based storage backend☆119May 31, 2023Updated 2 years ago
- [WIP] Social Networking System☆13Mar 4, 2026Updated 3 weeks ago
- Source material for FIRSTWiki github pages site☆11May 18, 2018Updated 7 years ago
- ☆12Jan 28, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 📱 Utility to mount iOS photos and apps on linux, built around ifuse☆21May 5, 2025Updated 10 months ago
- Blue based theme with red green and yellow accents. (OG)☆14Mar 22, 2016Updated 10 years ago
- 2D & 3D procedural generation with WFC/Model synthesis in Rust☆143Jan 30, 2026Updated last month
- command-line interface (CLI) for webOS☆69Updated this week
- ☆14Oct 11, 2021Updated 4 years ago
- Graphical Environment for Alpine linux in termux☆16Feb 23, 2021Updated 5 years ago
- Open Hardware Floppy Drive Swapper for Amiga Computers☆29Dec 10, 2018Updated 7 years ago
- A lightweight version of OrcVIO that uses monocular images, inertial data, as well as bounding box measurements☆37Dec 13, 2021Updated 4 years ago
- A global Hotkey provider with built in tooltip for React☆34May 1, 2025Updated 10 months ago
- 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.
- ☆21Jun 19, 2019Updated 6 years ago
- Few-Shot Preference Optimization (FSPO) personalizes LLMs by reframing reward modeling as a meta-learning problem, enabling rapid adaptat…☆15Feb 27, 2025Updated last year
- Solutions to all SRMS Division II 250 and 500 point problems☆14Mar 22, 2014Updated 12 years ago
- ☆14Oct 8, 2023Updated 2 years ago
- Lifecycle handling APIs for Android apps using RxJava☆7,671Mar 23, 2023Updated 3 years ago
- JSON schema of prisma.yml files☆10Dec 11, 2020Updated 5 years ago
- RTSP Server Library☆16Aug 7, 2023Updated 2 years ago