🎯 告别信息过载，AI 助你看懂新闻资讯热点，简单的舆情监控分析 - 多平台热点聚合+基于 MCP 的AI分析工具。监控35个平台（抖音、知乎、B站、华尔街见闻、财联社等），智能筛选+自动推送+AI对话分析（用自然语言深度挖掘新闻：趋势追踪、情感分析、相似检索等13种工具）。支持企业微信/个人微信/飞书/钉钉/Telegram/邮件/ntfy推送，30秒网页部署，1分钟手机通知，无需编程。支…

Explore Sui transactions, objects, etc.

Fuzz everything! Now let's fuzz chip!

A formal verification try for riscv-mini(Simple RISC-V 3-stage Pipeline in Chisel)

RISC-V SoC designed by students in UCAS

Modern co-simulation framework for RISC-V CPUs

zkTLS demo

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

ModelChecker: A bit-level model checking tool

Hardware Model Checker

AIGER And-Inverter-Graph Library

Search4AI-Go 是一个用 Go 语言实现的 AI 搜索代理服务，它允许大型语言模型通过 API 调用来获取实时互联网信息

BOOM's Simulation Accelerator.

An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more

A foxglove based ISS Platform

The batteries-included testing and formal verification library for Chisel-based RTL designs.

A Q&A platform software for teams at any scales. Whether it's a community forum, help center, or knowledge management platform, you can always count on Apache Answer.

The Apache Answer plugins repository.

Fuzzing General-Purpose Hardware Designs with Software Fuzzers

Formal verification tools for Chisel and RISC-V