Skip to content
View roiban1344's full-sized avatar
🦀
🦀
6 followers · 6 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx2Achievement: YOLO

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx2Achievement: YOLO

Block or report roiban1344

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. 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. 112-dimensional-extremal-even-unimodular-lattice 112-dimensional-extremal-even-unimodular-lattice Public

    An extremal even unimodular lattice in dimension 112 (minimum norm 10): paper draft, defining matrices, verification code and data, and a Lean 4 formalization of the deduction.

    Python

  2. sl-2-29-rank-112-extremal-lattice sl-2-29-rank-112-extremal-lattice Public

    Python

  3. react-tutorial-typescript-hooks react-tutorial-typescript-hooks Public

    TypeScript 11 2

  4. diy_md5 diy_md5 Public

    Rust 1 1

  5. lattice lattice Public

    Astro

  6. mersenne_primes mersenne_primes Public

    Rust 1