Skip to content
View lalvesl's full-sized avatar

Highlights

  • Pro

Block or report lalvesl

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. prost prost Public

    Forked from tokio-rs/prost

    PROST! a Protocol Buffers implementation for the Rust Language

    Rust

  2. wavedb wavedb Public

    Technology works like ocean waves — going back and forth, but always advancing toward the shore (global-warm).

    Rust

  3. nixos-btw nixos-btw Public

    NixOs configurations

    Nix

  4. kani kani Public

    Forked from model-checking/kani

    A model checker for Rust programs.

    Rust

  5. emf-mmf emf-mmf Public

    Real-time simulation and visualization of Electromagnetic (EMF) and Magnetomotive (MMF) fields. Built to compute and render complex electromagnetic interactions with high precision and low latency.

    Rust

  6. charming charming Public

    Forked from yuankunzhang/charming

    A visualization library for Rust

    Rust