trahensandreabenetton
НОВОЕTrahens — это исследовательский протокол для обеспечения конфиденциальности при поиске маршрутов рандеву и управлении плоскостью управления в децентрализованных сетях с учетом путей.
OPEN SOURCE, OPEN TO EVERYONE
Открытый код. Новые возможности.
Находите качественные проекты с открытым исходным кодом, отправляйте проекты анонимно, заявляйте права на свои проекты и редактируйте их.
✳Выбор редакции · Находите хороший open source4101найдено
Немного любопытства. Мир открытого кода.
THE FIRST COLLECTIONTopic: formal-methods清除
sledspacejam
НОВОЕsled — это бета-встраиваемая база данных на Rust с API, похожим на BTreeMap, ACID-транзакциями, атомарными операциями, zero-copy чтением, пакетной записью, подписками на префиксы, несколькими keyspace и merge-операторами.
safemeshvelvetmonkey
НОВОЕSafeMesh — это библиотека для синхронизации состояний на основе CRDT, проверенная с помощью Lean 4. Она поддерживает G-Set, G-Counter, OR-Set и другие типы, предоставляя привязки для C, WASM/TS и Python. Библиотека не включает транспортный слой, что позволяет использовать ее в различных средах, включая встраиваемые системы.