Repository for the HARDENS project
☆29Dec 12, 2024Updated last year
Alternatives and similar repositories for HARDENS
Users that are interested in HARDENS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆13Feb 12, 2020Updated 6 years ago
- Actor-based Runtime Verification Tool☆18Apr 13, 2023Updated 3 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- Top-level repository including all relevant BESSPIN repository☆28Jan 3, 2022Updated 4 years ago
- System for verifying the correctness of generated Copilot programs☆19May 8, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆11Nov 12, 2017Updated 8 years ago
- Automated Controller Synthesis☆15Jun 27, 2018Updated 8 years ago
- An umbrella repository including all of the dependencies to build the smaccmpilot project☆75Aug 11, 2017Updated 8 years ago
- DARPA CASE program☆16Jun 10, 2025Updated last year
- LaTeX Examples Document Source☆11Apr 9, 2024Updated 2 years ago
- ☆15Apr 26, 2021Updated 5 years ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆126Updated this week
- NeqSim is a library for calculation of fluid behavior, phase equilibrium and process simulation. This project is the Excel and Cape Open …☆12Aug 16, 2023Updated 2 years ago
- Balzac is a domain-specific language to write Bitcoin transactions.☆26Jul 12, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Repository for the GRAIC synthesis competition☆22Nov 22, 2023Updated 2 years ago
- ☆24Mar 24, 2023Updated 3 years ago
- Frama-C plugins for deadlock and data race detection☆15Feb 18, 2026Updated 5 months ago
- A persistent workspace for development work that self-improves and continues beyond one session.☆2,562Updated this week
- A Python library for creating digital sound.☆13Sep 22, 2024Updated last year
- ☆28Sep 27, 2024Updated last year
- Create docker image for running SysMLv2 with Jupyter☆38Oct 25, 2024Updated last year
- Unit testing for SQL queries☆26Aug 16, 2024Updated last year
- a little library to help me with things involving Koopman operators☆12Mar 3, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆10May 21, 2021Updated 5 years ago
- Haskell Makefile parser☆14Nov 14, 2025Updated 8 months ago
- Platform to submit RFCs for the Ada & SPARK languages☆70Updated this week
- ☆16Mar 17, 2025Updated last year
- AI-Assisted Verification of Data Structures☆21May 27, 2026Updated 2 months ago
- CRUVI Standard Specifications☆21May 6, 2024Updated 2 years ago
- This cFS app is called Diagnostic Reasoner (DR), and as the name implies, it will diagnose a system of interest. That is, it will do faul…☆12Jul 1, 2020Updated 6 years ago
- Microcontroller Register Viewer for GDB☆15Feb 23, 2018Updated 8 years ago
- A Tutorial for tools developed on the DARPA CASE program☆15Oct 18, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Web-based Generic Modeling Environment☆174Jul 20, 2026Updated 3 weeks ago
- SE3 pose lib uses JPL quaternion representing rotation. Headers only.☆14Oct 25, 2018Updated 7 years ago
- ENDF/B pre-processing codes (PREPRO)☆23Aug 14, 2023Updated 2 years ago
- Implementation of the `embedded-hal` traits for E310x microcontrollers☆17Apr 1, 2024Updated 2 years ago
- 🎤 Privacy-first local speech-to-text dictation for NixOS - Whisper.cpp powered push-to-talk with real-time feedback☆18Aug 3, 2026Updated last week
- Chess engine written in C++☆14Apr 18, 2026Updated 3 months ago
- qgis plugin to interract with gmsh☆14Dec 19, 2022Updated 3 years ago