gipsyh's Stars
pclewis/cudd-sys
CU Decision Diagram library bindings for Rust
whitemech/LTLf2DFA
From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
GLaDOS-Michigan/MC-Evals
arbrad/IC3ref
IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
NerdonblooR/pic3
A parallel IC3
ANU-HPC/parallel-pdr
mmaroti/cadical-rs
Rust bindings for the CaDiCaL SAT solver
stanford-centaur/pono
Pono: A flexible and extensible SMT-based model checker
ivmai/cudd
CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/CUDD/html/index.html (intro: https://web.archive.org/web/20150215010018/http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html)
aman-goel/avr
Reads a state transition system and performs property checking
lsils/benchmarks
EPFL logic synthesis benchmarks
ByronHsu/AAG-Visualizer
🌆 🏙 🌃 Viz.js Graphviz - An Elegant Visualizer for And-Inverter Graph
arminbiere/kissat
arminbiere/aiger
AIGER And-Inverter-Graph Library
berkeley-abc/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
PrincetonUniversity/IMDb
The ILA model database
cristian-mattarei/CoSA
CoreIR Symbolic Analyzer
PrincetonUniversity/ILAng
A Modeling and Verification Platform for SoCs using ILAs
OpenXiangShan/XiangShan
Open-source high-performance RISC-V processor
SI-RISCV/e200_opensource
Deprecated, please go to next generation Ultra-Low Power RISC-V Core https://github.com/riscv-mcu/e203_hbirdv2
tauri-apps/tauri
Build smaller, faster, and more secure desktop applications with a web frontend.
YosysHQ/sby
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
madsim-rs/madsim
Magical Deterministic Simulator for distributed systems in Rust.
SymbioticEDA/riscv-formal
RISC-V Formal Verification Framework
Qwaz/satire
An educational SAT solver written in Rust
niklasso/minisat
A minimalistic and high-performance SAT solver
acl2/acl2
ACL2 System and Books as Maintained by the Community
TheAlgorithms/Rust
All Algorithms implemented in Rust
dtolnay/dyn-clone
Clone trait that is object-safe
halo-dev/halo
强大易用的开源建站工具。