verse-lab/toychain

Что делает

verse-lab/toychain — публичный репозиторий GitHub, основной язык — Coq. Последняя запись сообщает 113 звёзд и 12 форков. Темы: blockchain, consensus, coq, distributed systems. Перед использованием прочитай документацию, лицензию и текущие issues.

A minimalistic blockchain consensus implemented and verified in Coq

Репозитории GitHub

Звёзды

113

Прирост звёзд · 7 дней

+0

Форки

12

Основной язык

Coq

Лицензия репозитория

BSD-2-Clause

Последняя отправка кода

13 апр. 2020 г.

Популярность основана на звёздах. Рост за неделю появится после недели локальных снимков. Это наша подборка, а не официальный рейтинг GitHub.

Источники и актуальность

Импортированные записи ссылаются на источники. Это помощь в поиске, а не рекомендация.