ElNiak / awesome-formal-verificationView external linksLinks
Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, researchers, and enthusiasts stay updated and advance their knowledge in the field.
☆88Jan 21, 2026Updated 3 weeks ago
Alternatives and similar repositories for awesome-formal-verification
Users that are interested in awesome-formal-verification are comparing it to the libraries listed below
Sorting:
- [IJCAI 2025] Official code for "Leveraging MLLM Embeddings and Attribute Smoothing for Compositional Zero-Shot Learning"☆11Jan 26, 2026Updated 3 weeks ago
- https://t.me/OfficialBananaBot/banana?startapp=referral=HS3JIH5☆13Aug 10, 2024Updated last year
- Fork of ag with added support for PCRE2 and ~/.agrc☆13Jan 30, 2022Updated 4 years ago
- Solving_an_Optimization_Problem_in_an_Active_RIS_Assisted_ISAC_System_Using_DRL_Algorithms_(DDPG_and_SAC)_ - Jupyter Notebook☆17Aug 22, 2024Updated last year
- ☆13Nov 4, 2024Updated last year
- Design a Watch Store app in Flutter with MVP architecture, focusing on clean, organized code and easy maintenance☆19Aug 10, 2024Updated last year
- Gamepad Tester for Xbox 360 Console☆23Jan 20, 2026Updated 3 weeks ago
- ☆12Oct 8, 2024Updated last year
- jmc: Java Model Checker☆37Sep 30, 2025Updated 4 months ago
- Zigon: A procedural 3D terrain generator and visualizer written in Zig using Raylib☆46Feb 7, 2026Updated last week
- 技术架构: springboot3+jdk17+mybatis-plus+mysql8+kotlin+vue+uniapp+elementui等。项目包括后台管理系统、手机端及pad端，手机端采用uniapp架构，可以随时编译为小程序。 t3rik-erp项目是在苦糖果开源…☆51Jan 9, 2026Updated last month
- ☆15Mar 11, 2025Updated 11 months ago
- Resources for the workshop "3 ways you can use ontologies in neo4j" at Graph Connect 2022☆10Jun 7, 2022Updated 3 years ago
- RFID controller for the Sonos music player☆15Jul 16, 2019Updated 6 years ago
- A modded Python interpreter that supports symbolic execution.☆11Aug 23, 2015Updated 10 years ago
- A recursive file-system digest (hash)☆13Apr 4, 2023Updated 2 years ago
- ☆11May 7, 2025Updated 9 months ago
- Linenoise FFI binding in rust☆12Apr 4, 2022Updated 3 years ago
- mods improvements hacks for the PrinCube☆11May 4, 2022Updated 3 years ago
- An open-source custom bootstrapper for Roblox Player that allows you to override files in Roblox Player's directory, opt into development…☆10Feb 22, 2024Updated last year
- A flake8 plugin that checks bad async / asyncio practices☆12Feb 19, 2024Updated last year
- Vite Template with Vite SSR + Express APIs + AWS Amplify Hosting☆12Nov 19, 2025Updated 2 months ago
- Quick leaf decay from cutting down trees. Built for fast performance and mod compat!☆10Dec 13, 2025Updated 2 months ago
- Formalization of the Rupert Problem for convex polyhedra.☆17Dec 15, 2025Updated 2 months ago
- stateless model checking for thread libraries, kernels, and transactional memory☆10Dec 26, 2018Updated 7 years ago
- An article on the illegal predatory practices of Google Classroom and other reasons why you should stop using it for Education.☆13Apr 26, 2023Updated 2 years ago
- Meet Rustacean GPT, an experimental project transforming OpenAi's GPT into a helpful, autonomous software engineer to support senior deve…☆14May 10, 2023Updated 2 years ago
- A benchmark utility for pytest.☆17Mar 5, 2018Updated 7 years ago
- ShEx Graphic Assistant☆11Jan 24, 2023Updated 3 years ago
- Mathematical modelling of Magic the Gathering☆10Aug 9, 2021Updated 4 years ago
- A native bcrypt library for go (golang)☆13Oct 5, 2021Updated 4 years ago
- ☆12Jun 14, 2021Updated 4 years ago
- A utility application used to deploy utility functions to Ledger users☆14Oct 3, 2023Updated 2 years ago
- ☆12Apr 1, 2025Updated 10 months ago
- Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.☆17Updated this week
- Webcam virtual backgrounds with Rust, Tensorflow & RobustVideoMatting☆11Sep 26, 2023Updated 2 years ago
- A distributed execution framework built upon lunatic.☆16Jan 19, 2024Updated 2 years ago
- Backup and restore Philips Hue bridge configuration in raw JSON☆11Aug 21, 2019Updated 6 years ago
- Checklist for assessing Tezos smart contracts' security☆12Apr 14, 2023Updated 2 years ago