ابزارهای توسعه و متن‌باز✦نمایه تحریریه
btcd
A Bitcoin full-node implementation written in Go.
☆ ۶٬۷۱۱ +۰ / 7dدیدن مدخل
ابزارهای توسعه و متن‌باز
Certora/CertoraProver
مخزن عمومی GitHub، با زبان اصلی Kotlin.
کاربرد
Certora/CertoraProver یک مخزن عمومی GitHub است، با زبان اصلی Kotlin. آخرین تصویر ذخیره‌شده، ۳۳۷ ستاره و ۴۸ فورک را گزارش می‌کند. موضوع‌ها: blockchain, certora, certora prover, ethereum, formal verification, security tools. پیش از استفاده از نرم‌افزار، مستندات، مجوز و گزارش‌های مشکل فعلی را بخوان.
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
مخزن‌های GitHub
- ستاره
- ۳۳۷
- ستاره افزوده · ۷ روز
- +۰
- فورک
- ۴۸
- زبان اصلی
- Kotlin
- مجوز مخزن
- GPL-3.0
- آخرین ارسال کد
- ۱۴ اکتبر ۲۰۲۶
محبوبیت از ستاره GitHub است. رشد ۷روزه به یک هفته ثبت محلی نیاز دارد. این رتبه‌بندی رسمی GitHub نیست.
منابع و تازگی
GitHub ↗منبع تازه شد · ۱۵ اکتبر ۲۰۲۶
مدخل‌های واردشده منبع دارند. مدخل برای کشف است، نه تأیید.