Skip to content
View RIvance's full-sized avatar
45 followers · 84 following
  • 0000:7C00

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@atriclang

Block or report RIvance

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

Pinned Loading

  1. saki-lang/saki-dev saki-lang/saki-dev Public

    A simple scala-like dependent type programming language

    Scala 23 3

  2. cubicaltt-scala cubicaltt-scala Public

    Cubical Type Theory in Scala 3 — port of Mortberg's cubicaltt

    Scala 3 1

  3. oh-my-gcc oh-my-gcc Public

    Make your gcc error message more readable with 100 lines of code

    Rust 4 1

  4. minecraft-chatgpt-assistant minecraft-chatgpt-assistant Public

    A ChatGPT assistant mod for Minecraft

    Kotlin 30 2

  5. serial-comm-protocol serial-comm-protocol Public

    A light-weight ROS-like serial communication library

    C++ 4

  6. OI-wiki/OI-wiki OI-wiki/OI-wiki Public

    🌟 Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）

    TypeScript 26k 4.6k