Stars
58
Forks
14
Language
R
Last Updated
Mar 12, 2024
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| Shell | 5 | Verification and Validation Project Using KLEE | Dec 18, 2014 | |
| Python | 4 | Verification and validation suite for SU2 | Feb 14, 2022 | |
| Fortran | 20 | OpenACC Validation and Verification Testsuite repository | Mar 28, 2023 | |
| C | 11 | C language Independent Verification & Validation | Jun 01, 2022 | |
| Java | 5 | Report Portal Validation and Error Handling Commons | Dec 13, 2021 | |
| Ruby | 4 | Homebrew formulae from NASA - Software Verification and Validation | Jan 07, 2023 | |
| CoffeeScript | 41 | Verification Validation and Visualization of Security Policy Abstractions | Mar 01, 2023 | |
| Python | 2 | Evaluation and Verification of the Analysis | Jul 21, 2022 | |
| None | 4 | Conferences on Software Verification and Analysis | Apr 21, 2021 | |
| TypeScript | 5 | BASTET program analysis and verification framework | Oct 28, 2021 | |
| JavaScript | 4 | Schema-based data filtering, validation and error handling. | Jun 24, 2016 | |
| JavaScript | 9 | this library takes error messages, and validation errors and augments a knockout model with helpers … | Apr 20, 2021 | |
| Java | 36 | Backstopper is a framework-agnostic API error handling and (optional) model validation solution for Java 7 … | Jul 14, 2022 | |
| JavaScript | 12 | Standardized validation error format for Meteor | Dec 24, 2021 | |
| PHP | 3 | Custom Validation Error Messages In Laravel | Jan 12, 2021 | |
| JavaScript | 58 | Laravel validation error handler for vuejs | Aug 23, 2022 | |
| TypeScript | 180 | Simpler, cleaner Angular validation error messages | Aug 09, 2022 | |
| C++ | 4 | OpenFOAM(R)/foam-extend verification/validation cases | Oct 11, 2022 | |
| C++ | 2336 | Model-based design and verification for robotics. | Aug 22, 2022 | |
| None | 2 | Avid Verification Team data model and code | Jan 05, 2022 | |
| C++ | 2 | Model-based design and verification for robotics. | Sep 25, 2023 | |
| None | 7 | Model Validation Output | Nov 16, 2022 | |
| C++ | 3 | Automated testing, verification and validation of open-source sensor models. | Feb 27, 2023 | |
| PHP | 4 | ABN validation and verification using the ABR web services API | Jan 31, 2022 | |
| C# | 6 | Markdown context analysis and validation tool | Jan 08, 2021 | |
| Python | 3 | Satellite Validation and Analysis (machine learning) | Dec 08, 2021 | |
| HTML | 9 | Simple Javascript model + form and validation | Sep 15, 2022 | |
| C++ | 5 | Auto analysis LNK2019 error. | Dec 17, 2022 | |
| Jupyter Notebook | 3 | Machine Learning applied to an existing Agent-based Model to expand sensitivity analysis and validation | Jan 13, 2023 | |
| JavaScript | 11 | Handling Laravel Validation Error Messages With Vue.js | Aug 03, 2017 | |
| JavaScript | 2 | Share Laravel validation error messages with Vue | Apr 21, 2023 | |
| None | 4 | Abstract interpretation: application to verification and static analysis | Jul 15, 2022 | |
| None | 10 | Learning and Teaching Software Analysis and Verification via SVF | Apr 04, 2023 | |
| C | 5 | Partial verification model for openssl. | Jun 24, 2022 | |
| None | 3 | Workshop on Automated Vehicle Safety: Verification, Validation & Transparency | Sep 17, 2021 | |
| PHP | 14 | Turkish Identification Number Verification & Validation Package for Laravel | May 04, 2023 | |
| TypeScript | 14 | Turkish Identification Number Verification & Validation Package for NodeJs | May 04, 2023 | |
| Python | 18 | Native plotting GUI for model design and verification | Jul 23, 2022 | |
| PHP | 66 | A wrapper around the Respect Validation PHP validation library for easier error handling and display | Apr 18, 2023 | |
| Python | 5 | Verification and validation tests for computational models of air/water flow | Aug 11, 2022 | |
| C# | 2 | Convention based approach to MVC Model Validation and Model Metadata | Jul 19, 2017 | |
| C# | 43 | Convention based approach to MVC Model Validation and Model Metadata | Apr 20, 2023 | |
| JavaScript | 6 | Formal Verification of smart contracts, using PROMELA verification modeling language and SPIN model checker | Oct 01, 2022 | |
| Python | 32 | Code and model checkpoints for the MultiVerS model for scientific claim verification. | May 24, 2023 | |
| VHDL | 4 | OSVVM UART Verification Components. Uart Transmitter with error injection for parity, stop, and break errors. … | May 18, 2023 | |
| Verilog | 3 | GeAr low latency adder implementation and error analysis | Mar 08, 2023 | |
| Scala | 7 | Course Project in Synthesis, Analysis and Verification in Scala | Mar 29, 2023 | |
| Ruby | 6 | I18n support for validation error messages in ActiveModel | May 29, 2019 | |
| Python | 11 | Validation Error Pretty-Printer for the jsonschema library. | Aug 03, 2020 | |
| PHP | 3 | Simple FTP Based web app dashboard to automate the verification and validation | Mar 03, 2022 |