Skip to content
View brfc's full-sized avatar
7 followers · 0 following

Highlights

  • Pro
Block or Report

Block or report brfc

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned

  1. git-afsantos/haros git-afsantos/haros Public

    H(igh) A(ssurance) ROS - Static analysis of ROS application code.

    Python 186 36

  2. Alloy4Fun Alloy4Fun Public

    Forked from haslab/Alloy4Fun

    A webapp for developing and sharing Alloy models

    JavaScript

  3. haros_safe_plugin haros_safe_plugin Public

    Model-Checking for ROS

    Python 2

  4. ads ads Public

    Advanced Data Structures in C++

    C++

  5. libecho libecho Public

    C++ header-only library for simple source inspection.

    C++

  6. genode genode Public

    Forked from genodelabs/genode

    Genode OS Framework

    C++