Toolbox for software dependability engineering of artificial neural networks
☆34Nov 22, 2022Updated 3 years ago
Alternatives and similar repositories for nn-dependability-kit
Users that are interested in nn-dependability-kit are comparing it to the libraries listed below
Sorting:
- ComOpT is a research tool for coverage-driven and constraint-driven testing of autonomous driving systems.☆16Feb 21, 2022Updated 4 years ago
- Automated Analysis Framework for Simulink/Stateflow☆16Jul 25, 2023Updated 2 years ago
- Scaleable input gradient regularization☆22Jul 8, 2019Updated 6 years ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learnin…☆209Jan 19, 2026Updated last month
- A certifiable defense against adversarial examples by training neural networks to be provably robust☆221Jul 25, 2024Updated last year
- ☆10Mar 24, 2025Updated 11 months ago
- Facial-Expression Recognition with Deep Neural Networks☆10Mar 6, 2016Updated 9 years ago
- ☆10May 4, 2019Updated 6 years ago
- All code for the Piecewise Linear Neural Networks verification: A comparative study paper☆35Nov 7, 2018Updated 7 years ago
- using pvanet framework train mobilenet-v2 for objects detection, papaer: https://arxiv.org/abs/1611.08588☆13Feb 13, 2019Updated 7 years ago
- Proximal Asynchronous SAGA☆13Nov 30, 2017Updated 8 years ago
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- An Arduino library for use ESC controllers☆13Mar 28, 2019Updated 6 years ago
- Framework for Rogue Wi-Fi Access Point Attack☆12Aug 31, 2015Updated 10 years ago
- A curated list of Tools, Libraries and Frameworks essential for Frond-end developers.☆13Mar 24, 2015Updated 10 years ago
- Allows you to organize by date (via subfolder) all the photos and videos in the selected folder☆11Mar 24, 2022Updated 3 years ago
- CDS design research team handbook / Guide de recherche en conception du SNC☆10Updated this week
- Fast, simple and lightweight micro bot-framework for Python.☆10Oct 22, 2017Updated 8 years ago
- real time reachability for the f1Tenth platform☆11Jan 19, 2022Updated 4 years ago
- A Xamarin.Android library providing APIs to interact with iBeacons☆23Aug 6, 2014Updated 11 years ago
- ☆12Jun 18, 2024Updated last year
- Fork of Triton repository for OpenXLA uses of the Triton language and compiler☆15Feb 24, 2026Updated last week
- Control LiveSplit from your Android device☆10Oct 14, 2025Updated 4 months ago
- Code for "CharManteau: Character Embedding Models For Portmanteau Creation. EMNLP 2017. Varun Gangal*, Harsh Jhamtani*, Graham Neubig, Ed…☆10Jun 20, 2019Updated 6 years ago
- Addressing Training-Test Class Distribution Mismatch in Conversational Classification for SemEval-2019 Task3 EmoContext☆10Apr 9, 2019Updated 6 years ago
- ☆10Jan 26, 2015Updated 11 years ago
- Easlisy generate images using a datasets/list of prompts, using the automation script for Stable Diffusion web ui.☆17Jul 17, 2023Updated 2 years ago
- ☆10Oct 8, 2015Updated 10 years ago
- VNN Neural Network Verification Competition 2021☆36Jul 17, 2021Updated 4 years ago
- Using the Tsetlin Machine to learn human-interpretable rules for high-accuracy text categorization with medical applications☆51Sep 9, 2019Updated 6 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- VUSB based USB → I²C bridge☆14Jan 6, 2024Updated 2 years ago
- 🔨 Build a dictionary by permuting passed letters (using ES2015+)☆11Jan 12, 2026Updated last month
- Spiders a website using the darknet via Tor☆12Jun 18, 2017Updated 8 years ago
- SqueezeDet implemented in CUDA&TensorRT☆12Nov 2, 2018Updated 7 years ago
- ☆10Mar 30, 2015Updated 10 years ago
- Kingston Mobilelite Wireless G3 Info / OpenWRT Port☆10Mar 28, 2016Updated 9 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago