trahensandreabenetton
NOUVEAUTrahens est un protocole de recherche pour la découverte de routes de rendez-vous axée sur la confidentialité et la gestion du plan de contrôle dans les réseaux décentralisés et sensibles au chemin.
OPEN SOURCE, OPEN TO EVERYONE
Code ouvert. Horizons nouveaux.
Découvrez des projets open source de qualité, soumettez des projets anonymement, puis revendiquez et éditez votre propre projet.
✳Sélection humaine · Découvrez de bons projets open source4109découverts
Un peu de curiosité. Un monde de code ouvert.
THE FIRST COLLECTIONTopic: formal-methods清除
sledspacejam
NOUVEAUsled est une base de données embarquée en version bêta pour Rust avec une API de type BTreeMap, des transactions ACID, des opérations atomiques sur une seule clé, des lectures sans copie, des lots d'écriture, des abonnements par préfixe, plusieurs espaces de clés et des opérateurs de fusion.
safemeshvelvetmonkey
NOUVEAUSafeMesh fournit des CRDT (G-Set, G-Counter, OR-Set, etc.) vérifiés formellement à l'aide de preuves Lean 4 et de Rust no_std. Il propose des liaisons C, WASM/TS et Python pour une synchronisation d'état intégrée et légère, nécessitant que les utilisateurs fournissent leur propre couche de transport.