p-avital

no-deadlocks

Locks compatible with std::sync, but with runtime deadlock debugging for testing purposes

token-cell-rs

An alternative to GhostCell

p-avital.github.io

My Personal Website

zenoh-c

zenoh client library written in C and targeting micro-controllers.

zenoh-plugin-dds

A zenoh plug-in that allows to transparently route DDS data. This plugin can be used by DDS applications, such as ROS2 robotic applications and others, to leverage the zenoh for geographical routing or for better scaling discovery.

abi_stable_crates

Rust-to-Rust ffi,ffi-safe equivalents of std types,and creating libraries loaded at startup.

Algorithms-1

A repository of different Algorithms and Data Structures implemented in many programming languages.

async-std

Async version of the Rust standard library

cargo-crev

A cryptographically verifiable code review system for the cargo (Rust) package manager.

cbindgen

A project for generating C bindings from Rust code

hashbrown

Rust port of Google's SwissTable hash map

keyed-set-rs

A hashbrown-based HashSet that uses a projection of its elements for indexing.

nalgebra

Linear algebra library for Rust.

rfcs

RFCs for changes to Rust

rppal

A Rust library that provides access to the Raspberry Pi's GPIO, I2C, PWM, SPI and UART peripherals.

rust

Empowering everyone to build reliable and efficient software.

rust-analyzer

A Rust compiler front-end for IDEs

rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

rust_libloading

Bindings around the platform's dynamic library loading primitives with greatly improved memory safety.

rustlab

this-week-in-rust

Data for this-week-in-rust.org

uhlc-rs

A Unique Hybrid Logical Clock for Rust

yuzu

Nintendo Switch emulator

zenoh

zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of time and space efficiency that is well beyond any of the mainstream stacks.

zenoh-backend-filesystem

Backend and Storages for zenoh using the file system

zenoh-backend-influxdb

Backend and Storages for zenoh using InfluxDB

zenoh-backend-rocksdb

Backend and Storages for zenoh using RocksDB

zenoh-plugin-webserver

A zenoh plug-in implementing an HTTP server mapping URLs to zenoh paths. This plugin can be used to set-up a Web server where the resources are retrieved from geo-distributed zenoh storages, each leveraging various backends (file system, database, memory...)

zenoh-python

Python API for zenoh

zmk-config