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.
☆130Mar 1, 2026Updated 2 months 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Query on Everything with SQL☆17Oct 29, 2024Updated last year
- https://t.me/OfficialBananaBot/banana?startapp=referral=HS3JIH5☆12Aug 10, 2024Updated last year
- Multifunctional discord sniper☆12Mar 5, 2025Updated last year
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆26Updated this week
- This project contains the code and data accompanying our paper "Certifying almost all quantum states with few single-qubit measurements".☆12Nov 27, 2024Updated 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.
- ☆10Aug 8, 2024Updated last year
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆28Dec 21, 2024Updated last year
- Built a pairs trading strategy in emerging markets using a rolling Kalman-filter beta and spread half-life, with z-score position sizing,…☆18Aug 10, 2024Updated last year
- Linux Mint の Hypnotix にインスパイアされたオリジナルの Digilog TV の日本版である、無料でオープンソースのテレビアプリです。☆15Oct 12, 2024Updated last year
- Recent papers related to hardware formal verification.☆77Sep 20, 2023Updated 2 years ago
- OUC&HW计科中外“宝宝”👶生存指南 | OUC-HW-Survial-Guidance☆23Apr 30, 2026Updated 2 weeks ago
- ☆21May 3, 2026Updated 2 weeks ago
- ☆13Aug 23, 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Logic circuit analysis and optimization☆49Feb 2, 2026Updated 3 months ago
- MARS: Mask Attention Refinement with Sequential Quadtree Nodes for Car Damage Instance Segmentation☆23May 13, 2026Updated last week
- TLA+ model checking guided testing for distributed systems☆17Feb 12, 2024Updated 2 years ago
- Automatically subscribes to YouTube channels from a backup CSV file☆50Jan 27, 2025Updated last year
- A quick guide to triple boot your system (Windows, GNU/Linux, Mac)☆13Aug 16, 2024Updated last year
- jmc: Java Model Checker☆41Apr 24, 2026Updated 3 weeks ago
- AI assisted Shell, aka "Ash". Wraps around your existing shell and brings AI-LLM to the CLI for analyzing EDA files.☆28Apr 6, 2026Updated last month
- Engineering Program on RTL Design for FPGA Accelerator☆33Aug 1, 2020Updated 5 years ago
- The PyTorch implementation of paper "KERMIT: Knowledge Graph Completion of Enhanced Relation Modeling with Inverse Transformation"☆15Jul 4, 2025Updated 10 months ago
- 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.
- an openai chatbot that lets you talk to a git repository☆10Jul 27, 2024Updated last year
- Calling a python function from SV, then have this python function call SV tasks. Useful for coding register sequences in python☆12Sep 23, 2022Updated 3 years ago
- stateless model checking for thread libraries, kernels, and transactional memory☆10May 7, 2026Updated last week
- Fuzz everything! Now let's fuzz chip!☆41Apr 17, 2026Updated last month
- 技术架构: springboot3+jdk17+mybatis-plus+mysql8+kotlin+vue+uniapp+elementui等。项目包括后台管理系统、手机端及pad端，手机端采用uniapp架构，可以随时编译为小程序。 t3rik-erp项目是在苦糖果开源…☆56Jan 9, 2026Updated 4 months ago
- The Cubicle model checker☆14May 12, 2026Updated last week
- Telegram bot which scrapes posts from Facebook Pages to a Telegram channel.☆17Apr 10, 2021Updated 5 years ago
- A custom plugin for Eagle to generate tags by local AI model☆47Aug 21, 2024Updated last year
- OWASP Ontology-driven Threat Modelling framework☆42Jul 11, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Minimalistic batching application for LLMs using ASP.NET Core and LLamaSharp☆12Oct 23, 2024Updated last year
- ☆11May 7, 2025Updated last year
- 一个尝试在保护用户隐私的前提下，提供各类功能的类命令行Telegram机器人。☆12Aug 14, 2024Updated last year
- Verilog development and verification project for HOL4☆28Apr 25, 2025Updated last year
- The VerCors verification toolset for verifying parallel and concurrent software☆101Updated this week
- Version 2 of ZKaggle, 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆16Jul 12, 2023Updated 2 years ago
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year