Skip to content
View basinibi's full-sized avatar
0 followers · 1 following
  • Innogrid
  • Seoul/Korea
  • 23:37 (UTC +09:00)

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2

Organizations

@m-cmp

Block or report basinibi

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. 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

Stars

Showing results

OpenJML / OpenJML

This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for O…

Java 182 39 Updated Jul 25, 2026

verus-lang / verus

Verified Rust for low-level systems code

Rust 2,776 194 Updated Jul 27, 2026

m-cmp / mc-observability

Java 8 15 Updated Jul 22, 2026

cloud-barista / cb-tumblebug

Cloud-Barista Multi-Cloud Infra Management Framework

Go 81 52 Updated Jul 27, 2026

fnwiya / japanese-rust-companies

日本で Rust を利用している会社一覧

393 37 Updated Oct 1, 2025

kubernetes-client / java

Official Java client library for kubernetes

Java 3,990 2,108 Updated Jul 24, 2026

oracle / graal

GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

Java 21,651 1,802 Updated Jul 27, 2026