ابزارهای توسعه و متن‌باز✦نمایه تحریریه
btcd
A Bitcoin full-node implementation written in Go.
☆ ۶٬۷۱۱ +۰ / 7dدیدن مدخل
ابزارهای توسعه و متن‌باز
ProofOfKeags/btc-verified
مخزن عمومی GitHub، با زبان اصلی Lean.
کاربرد
ProofOfKeags/btc-verified یک مخزن عمومی GitHub است، با زبان اصلی Lean. آخرین تصویر ذخیره‌شده، ۲۶ ستاره و ۵ فورک را گزارش می‌کند. موضوع‌ها: Bitcoin, bitcoin protocol, formal methods, formal verification, lean, lean4. پیش از استفاده از نرم‌افزار، مستندات، مجوز و گزارش‌های مشکل فعلی را بخوان.
Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.
مخزن‌های GitHub
- ستاره
- ۲۶
- ستاره افزوده · ۷ روز
- —
- فورک
- ۵
- زبان اصلی
- Lean
- مجوز مخزن
- Apache-2.0
- آخرین ارسال کد
- ۷ اکتبر ۲۰۲۶
محبوبیت از ستاره GitHub است. رشد ۷روزه به یک هفته ثبت محلی نیاز دارد. این رتبه‌بندی رسمی GitHub نیست.
منابع و تازگی
GitHub ↗منبع تازه شد · ۱۶ اکتبر ۲۰۲۶
مدخل‌های واردشده منبع دارند. مدخل برای کشف است، نه تأیید.