ابزارهای توسعه و متن‌باز✦نمایه تحریریه
btcd
A Bitcoin full-node implementation written in Go.
☆ ۶٬۷۱۱ +۰ / 7dدیدن مدخل
کاربرد
verse-lab/toychain یک مخزن عمومی GitHub است، با زبان اصلی Coq. آخرین تصویر ذخیره‌شده، ۱۱۳ ستاره و ۱۲ فورک را گزارش می‌کند. موضوع‌ها: blockchain, consensus, coq, distributed systems. پیش از استفاده از نرم‌افزار، مستندات، مجوز و گزارش‌های مشکل فعلی را بخوان.
A minimalistic blockchain consensus implemented and verified in Coq
مخزن‌های GitHub
- ستاره
- ۱۱۳
- ستاره افزوده · ۷ روز
- —
- فورک
- ۱۲
- زبان اصلی
- Coq
- مجوز مخزن
- BSD-2-Clause
- آخرین ارسال کد
- ۱۳ آوریل ۲۰۲۰
محبوبیت از ستاره GitHub است. رشد ۷روزه به یک هفته ثبت محلی نیاز دارد. این رتبه‌بندی رسمی GitHub نیست.
منابع و تازگی
GitHub ↗منبع تازه شد · ۱۴ اکتبر ۲۰۲۶
مدخل‌های واردشده منبع دارند. مدخل برای کشف است، نه تأیید.