-
wechat-mcp Public
Forked from JettChenT/wechat-mcpModel Context Protocol for WeChat
Python UpdatedJun 11, 2025 -
-
TaskWeaver Public
Forked from microsoft/TaskWeaverA code-first agent framework for seamlessly planning and executing data analytics tasks.
Python MIT License UpdatedMay 7, 2024 -
-
-
ChiselFV Public
A Formal Verification Framework for Chisel
-
-
-
smt-switch Public
Forked from stanford-centaur/smt-switchA generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
C++ Other UpdatedFeb 1, 2024 -
-
-
ic3po Public
Forked from aman-goel/ic3poIC3PO: IC3 for Proving Protocol Properties
Python GNU General Public License v3.0 UpdatedDec 29, 2023 -
pysmt Public
Forked from aman-goel/pysmtpySMT: A library for SMT formulae manipulation and solving
Python Apache License 2.0 UpdatedDec 10, 2023 -
ivybench Public
Forked from aman-goel/ivybenchCollection of Distributed Protocol Verification Problems
TLA UpdatedNov 23, 2023 -
camel-k Public
Forked from apache/camel-kApache Camel K is a lightweight integration platform, born on Kubernetes, with serverless superpowers
Go Apache License 2.0 UpdatedJul 18, 2023 -
-
-
-
-
btor2tools Public
Forked from hwmcc/btor2toolsA generic parser and tool package for the BTOR2 format.
C Other UpdatedOct 28, 2022 -
-
-
-
-
-
MoTrade Public
Using Go language to provide REST API for OKX platform, and some trading strategies (in future).
-
-
-
-
fifoBuffer Public
Implementation and verification of two FIFO buffers in Chisel
{{ message }}