EasyCrypt: Computer-Aided Cryptographic Proofs

A Dockerfile with a collections of ready to use open source EDA tools: Yosys, SimbiYosys (with Z3, boolector and Yices2), nextpnr-ice40, netxpnr-ecp5, nextpnr-gowin, Amaranth HDL, Silice and Verila…

Static analysis framework for C

Awesome docker image(For AMD64 and ARM64)

MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems

The Ultimate program analysis framework.

fast probabilistic symmetry detection on graphs

Ariane is a 6-stage RISC-V CPU

MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers

Some experiments with SMT solvers and GIMPLE IR

This repository includes set of Verilog benchmarks

Meta Lingua: a lean, efficient, and easy-to-hack codebase to research LLMs.

Enumerative Testing and Bounded Validation of SMT Solvers

A fast, brute force, automatic theorem prover for first order logic

A high-performance implementation of the IC3/PDR algorithm in Rust.

Coq plugin embedding elpi

HLS-based Graph Processing Framework on FPGAs

Library for parsing ELF files for Rust

Programs based on Verilog - Hardware Description Language

Tiny verified SAT-solver

MLIR For Beginners tutorial

Egraphs Modulo Theories

OpenR: An Open Source Framework for Advanced Reasoning with Large Language Models