Skip to content
View SMa2021's full-sized avatar
3 followers · 6 following

Block or report SMa2021

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

Popular repositories Loading

  1. cadical cadical Public

    Forked from amkarahalios/cadical

    CaDiCaL SAT Solver

    C++

  2. iclr-blog-track.github.io iclr-blog-track.github.io Public

    Forked from iclr-blog-track/iclr-blog-track.github.io

    CSS

  3. polars polars Public

    Forked from pola-rs/polars

    Dataframes powered by a multithreaded, vectorized query engine, written in Rust

    Rust

  4. OpenCat OpenCat Public

    Forked from PetoiCamp/OpenCat-Quadruped-Robot

    An open source quadruped robot pet framework for developing Boston Dynamics-style four-legged robots that are perfect for STEM, coding & robotics education, IoT robotics applications, AI-enhanced r…

    C++