PLeVasseur

PLeVasseur's Stars

• nvim-lua/kickstart.nvim

  A launch point for your personal nvim configuration

  Language:Lua20.4k10951025.1k

• rui314/mold

  Mold: A Modern Linker 🦠

  Language:C++14.5k110900475

• oxidecomputer/hubris

  A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

  Language:Rust3k51509180

• model-checking/kani

  Kani Rust Verifier

  Language:Rust2.3k241.7k97

• eclipse-zenoh/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.

  Language:Rust1.6k36475169

• ferrocene/ferrocene

  Source code of Ferrocene, safety-critical Rust toolchain

  Language:Rust1.3k236738

• BrianSidebotham/arm-tutorial-rpi

  Raspberry-Pi Bare Metal Programming in C Tutorial

  Language:C5906825179

• ferrocene/specification

  Ferrocene Language Specification

  Language:Python4012120830

• yosefk/cpp-fqa

  C++ Frequently Questioned Answers (FQA)

  Language:Python30830217

• eclipse-zenoh/zenoh-plugin-dds

  A zenoh plug-in that allows to transparently route DDS data. This plugin can be used by DDS applications to leverage zenoh for geographical routing or for better scaling discovery. For ROS2 robotic applications, use https://github.com/eclipse-zenoh/zenoh-plugin-ros2dds

  Language:Rust166168458

• oxidecomputer/phbl

  Pico Host Boot Loader

  Language:Rust1032457

• strawlab/adskalman-rs

  Kalman filter implementation in Rust

  Language:Rust64448

• eclipse-uprotocol/up-spec

  uProtocol Specifications

  381013026

• Kernel-SU/binder_rs

  Language:Rust232217

• eclipse-uprotocol/up-rust

  uProtocol Language Specific Library for Rust

  Language:Rust1686310

• eclipse-uprotocol/up-core-api

  uProtocol Core APIs and Data Model

  79306

• eclipse-uprotocol/up-transport-zenoh-rust

  Rust client-side library to talk to the Zenoh implementation of uProtocol

  Language:Rust67365

• eclipse-uprotocol/up-streamer-rust

  Generic uStreamer implementation written in Rust

  Language:Rust163613

• eclipse-uprotocol/up-transport-android-rust

  Rust client side Library for Android implementation of uProtocol

  11

• ZettaScaleLabs/uprotocol-rust-ulink-zenoh

  Language:Rust1801