sledspacejam
নতুনsled হলো Rust-এর জন্য একটি বিটা এমবেডেড ডেটাবেস, যার API BTreeMap-এর মতো, এবং এতে ACID ট্রানজেকশন, পারমাণবিক অপারেশন, জিরো-কপি রিড, ব্যাচ রাইট, প্রিফিক্স সাবস্ক্রিপশন, একাধিক কীস্পেস ও মার্জ অপারেটর রয়েছে।
OPEN SOURCE, OPEN TO EVERYONE
ওপেন সোর্স। নতুন সম্ভাবনা।
মানসম্মত ওপেন-সোর্স প্রজেক্ট আবিষ্কার করুন, বেনামে প্রজেক্ট জমা দিন এবং নিজের প্রজেক্ট দাবি করে সম্পাদনা করুন।
✳সম্পাদকের পছন্দ · ভালো ওপেন সোর্স খুঁজুন4109আবিষ্কৃত
কৌতূহল নিয়ে ওপেন সোর্স আবিষ্কার করুন।
THE FIRST COLLECTIONTopic: formal-methods清除
safemeshvelvetmonkey
নতুনSafeMesh হল একটি ওপেন-সোর্স লাইব্রেরি যা Conflict-free Replicated Data Types (CRDT) ব্যবহার করে হালকা, এম্বেডেবল স্টেট সিঙ্ক্রোনাইজেশন প্রদান করে। এটি Lean 4-এ প্রমানিত গ্যারান্টি এবং no_std Rust বাস্তবায়ন অফার করে, C, WASM/TS, এবং Python বাইন্ডিং সহ। ব্যবহারকারীদের নিজস্ব ট্রান্সপোর্ট লেয়ার সরবরাহ করতে হবে।