Skip to content
View ronnodas's full-sized avatar

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report ronnodas

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

  • lox Public

    Rust Updated Sep 29, 2024

  • puzzle-bot Public

    A discord puzzle bot

    Python Updated Sep 20, 2024

  • itertools Public

    Forked from rust-itertools/itertools

    Extra iterator adaptors, iterator methods, free functions, and macros.

    Rust Apache License 2.0 Updated Sep 20, 2024

  • website Public

    HTML Updated Sep 13, 2024

  • totaro Public

    An implementation of the Totaro spectral sequence in sage

    Sage Updated Oct 31, 2022

  • cubic-surface-statistics Public

    Jupyter Notebook Updated Jul 16, 2021