The Wayback Machine - https://web.archive.org/web/20201101043547/https://github.com/imkiva
Skip to content
Avatar
🍥
fall in love with @ShirakamiEmmmer
🍥
fall in love with @ShirakamiEmmmer

Highlights

Organizations

@covariant-institute @covscript @owo-lang @nonstop-story @libmozart @voosc
imkiva/README.md

About me

Hi, I am Kiva.

  • 🍥 Currently a college student.
  • 🌈 Love compilers and type theory.
  • 🔥 Mostly code in Rust, Kotlin and Java
  • 🔑 Want to learn Arend, Agda and Haskell
  • Powered by love

Pinned

  1. Rust plugin for the IntelliJ Platform

    Kotlin 3.3k 287

  2. 🌟This is a pure C++ implementation of Java Virtual Machine (only Java 8 is supported). Inspired by Hotspot In Action.

    C++ 121 21

  3. Functional programming language with my perference.

    Rust 5

  4. 👍 A modern-designed Android terminal emulator for the 21st century.

    Java 436 58

  5. 1
    Java        8 hrs 24 mins  █████████████▏░░░░░░░  62.6%
    2
    Other       4 hrs 28 mins  ███████░░░░░░░░░░░░░░  33.4%
    3
    Rust        21 mins        ▌░░░░░░░░░░░░░░░░░░░░   2.7%
    4
    Kotlin      4 mins         ▏░░░░░░░░░░░░░░░░░░░░   0.6%
    5
    Text        4 mins         ░░░░░░░░░░░░░░░░░░░░░   0.6%
  6. Full-featured language frontend for PL's learning purpose.

    Rust

2,687 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri

Contribution activity

November 1, 2020

2 contributions in private repositories Nov 1
You can’t perform that action at this time.