trahensandreabenetton
신규Trahens는 분산형 경로 인식 네트워크에서 프라이버시 중심의 랑데부 경로 탐색 및 제어 평면 관리를 위한 연구 프로토콜입니다.
OPEN SOURCE, OPEN TO EVERYONE
오픈 소스. 새로운 가능성.
우수한 오픈 소스 프로젝트를 발견하고, 익명으로 프로젝트를 제출하며, 내 프로젝트를 신청해 편집하세요.
✳편집자 선정 · 좋은 오픈 소스 발견4109발견됨
호기심으로 오픈 소스의 세계를 발견하세요.
THE FIRST COLLECTIONTopic: formal-methods清除
sledspacejam
신규sled는 Rust용 베타 임베디드 데이터베이스로, BTreeMap 유사 API, ACID 트랜잭션, 원자적 단일 키 연산, 제로카피 읽기, 쓰기 배치, 접두사 구독, 다중 키스페이스 및 병합 연산자를 제공합니다.
safemeshvelvetmonkey
신규SafeMesh는 Lean 4 증명과 no_std Rust를 사용하여 공식적으로 검증된 CRDT(G-Set, G-Counter, OR-Set 등)를 제공합니다. 작은 임베디드 상태 동기화를 위해 C, WASM/TS, Python 바인딩을 제공하며, 사용자는 자체 전송 계층을 제공해야 합니다.