Skip to content
View imkiva's full-sized avatar
🍥
fall in love with @SEmmmer
🍥
fall in love with @SEmmmer
385 followers · 36 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Starstruckx3Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Starstruckx3Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Highlights

Organizations

@llvm @owo-lang @aya-prover

Block or report imkiva

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
imkiva/README.md

Hi, This is Kiva (Pronoun: she/her).

Messages not signed with my GPG Key do not represent personal opinions.

  • 🌈 Love compilers and type theory.
  • 🔥 Mostly code in Java and Rust but not limited to any specific language.
  • 🥰 Currently working on The Aya Prover. She is a dependently-typed programming language and a promising proof assistant.

Pinned Loading

  1. aya-prover/aya-dev aya-prover/aya-dev Public

    A proof assistant and a dependently-typed language

    Java 360 21

  2. llvm/llvm-project llvm/llvm-project Public

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

    LLVM 39k 17.7k

  3. JetBrains/intellij-community JetBrains/intellij-community Public

    IntelliJ IDEA & IntelliJ Platform

    Java 20.3k 6k

  4. valheim valheim Public

    Just for fun riscv64 emulator, which boots the Linux.

    Rust 41

  5. KiVM KiVM Public

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

    C++ 258 40