Skip to content
View patrik-cihal's full-sized avatar

Highlights

  • Pro

Organizations

@stellar-bit

Block or report patrik-cihal

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. lean-graph lean-graph Public

    Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.

    Rust 20

  2. ellipsoid ellipsoid Public

    Simple cross-platform 2d graphics rendering library made in Rust.

    Rust 1

  3. react-p5-ts-template react-p5-ts-template Public

    TypeScript

  4. nbodies-simulation nbodies-simulation Public

    Rust

  5. binary-search-tree binary-search-tree Public

    Rust

  6. rust-facedetect rust-facedetect Public

    Forked from sunsided/rust-facedetect

    OpenCV Face Detection in Rust - a test project

    Rust