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.
☆97Mar 1, 2026Updated last week
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:
- An open core EFI that will help you turn your ideapad gaming 3 (15ach6) into a Hackintosh!☆13Aug 10, 2024Updated last year
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆40Feb 27, 2026Updated last week
- Processon思维导图 svg转png下载☆17Aug 21, 2025Updated 6 months ago
- OUC&HW计科中外“宝宝”👶生存指南 | OUC-HW-Survial-Guidance☆21Feb 9, 2026Updated last month
- ☆13Aug 23, 2024Updated last year
- A quick guide to triple boot your system (Windows, GNU/Linux, Mac)☆12Aug 16, 2024Updated last year
- A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.☆39Mar 5, 2024Updated 2 years ago
- Prompt2Fashion: An automatically generated fashion dataset☆16Aug 12, 2024Updated last year
- ☆15Aug 8, 2024Updated last year
- onebotv11 + llonebot/NapCat 客户端实现☆19Sep 8, 2024Updated last year
- Windows development SDK for Zig game developers.☆25Feb 28, 2026Updated last week
- MARS: Mask Attention Refinement with Sequential Quadtree Nodes for Car Damage Instance Segmentation☆23Feb 23, 2026Updated 2 weeks ago
- Lista de material dos encontros do Clube de Leitura Dev☆21Oct 16, 2024Updated last year
- An Aroma plugin to temporarily replace the system font.☆24Jul 19, 2025Updated 7 months ago
- ☆12Oct 8, 2024Updated last year
- Engineering Program on RTL Design for FPGA Accelerator☆33Aug 1, 2020Updated 5 years ago
- Something about me!☆11Updated this week
- This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our g…☆45Mar 3, 2024Updated 2 years ago
- ☆42Oct 4, 2023Updated 2 years ago
- Nanos klib for NVIDIA GPUs☆14Mar 25, 2025Updated 11 months ago
- synchronized catjam with your type speed in vscode☆15Aug 18, 2025Updated 6 months ago
- Logseq git sync☆10May 6, 2023Updated 2 years ago
- This repository contains all the needed source files for several examples from Pong Chu's book: "Pong P. Chu, FPGA Prototyping by VHDL Ex…☆10Apr 2, 2022Updated 3 years ago
- Resources for the workshop "3 ways you can use ontologies in neo4j" at Graph Connect 2022☆10Jun 7, 2022Updated 3 years ago
- Complete ASIC Design of UART Interface with Baud Rate Selection :- RTL to GDS2☆12Sep 3, 2019Updated 6 years ago
- RFID controller for the Sonos music player☆15Jul 16, 2019Updated 6 years ago
- My dotfiles☆10Jul 31, 2024Updated last year
- Zero Configuration laravel Role Permission Setup 🔥🤩☆39Nov 24, 2025Updated 3 months ago
- Collection of LAZEY Projector related files☆16Sep 18, 2014Updated 11 years ago
- ☆11May 7, 2025Updated 10 months ago
- A distributed execution framework built upon lunatic.☆16Jan 19, 2024Updated 2 years ago
- ☆10Mar 20, 2021Updated 4 years ago
- Log rotation of stdout & stderr☆15May 9, 2014Updated 11 years ago
- FPGA Guide☆14Jan 2, 2022Updated 4 years ago
- Discover identical CoW copies, analogous to an inode☆11Oct 16, 2018Updated 7 years ago
- stateless model checking for thread libraries, kernels, and transactional memory☆10Dec 26, 2018Updated 7 years ago
- Functional heterogeneous list (hlist) library for Rust☆11Jun 28, 2020Updated 5 years ago
- A Selenium-based ChatGPT interaction automation tool. This script initializes a browser session, interacts with ChatGPT using predefined …☆21Aug 14, 2024Updated last year
- Formalization of the Rupert Problem for convex polyhedra.☆17Dec 15, 2025Updated 2 months ago