Skip to content
View kammitama5's full-sized avatar
🇹🇹
Research: Number Theory + Alg Graph Theory in Quantum / 😴. Also Lean learner
🇹🇹
Research: Number Theory + Alg Graph Theory in Quantum / 😴. Also Lean learner
162 followers · 627 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@SV-ROS @CodingForProduct @OpenMined @nolitetebastardescarborundorum

Block or report kammitama5

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 Loading

  1. codeworld codeworld Public

    Forked from google/codeworld

    Educational computer programming environment using Haskell

    Haskell

  2. racket_jacket racket_jacket Public

    racket_language_stuff

    Racket 2

  3. DataGraphsAndDataScience DataGraphsAndDataScience Public

    data and graphs

    Jupyter Notebook

  4. kammitama5.github.io kammitama5.github.io Public

    Forked from LearnTeachCode/jekyll-now

    Build a Jekyll blog in minutes, without touching the command line.

    SCSS 1

  5. assert_cmd assert_cmd Public

    Forked from assert-rs/assert_cmd

    Assert process::Command - Easy command initialization and assertions.

    Rust

  6. predicates-rs predicates-rs Public

    Forked from assert-rs/predicates-rs

    An implementation of boolean-valued predicate functions in Rust

    Rust