Pierre Avital's repositories
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-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
create-react-app
Set up a modern web app by running one command.
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.
rfcs
RFCs for changes to Rust
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.
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