8000 imkiva (Kiva) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View imkiva's full-sized avatar
🍥
fall in love with @SEmmmer
🍥
fall in love with @SEmmmer
378 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

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
@nishijiryu
Behemoth nishijiryu
@WastingMisaka
Fore Link WastingMisaka
Enter a bio here ...
@POI401
POI401
@Aran52
Aran52
@turingcat0
TuringCat turingcat0
I am just a college student interested in programming. :) Java/C++,know i bit of computer graphics

China

@steinlogic
steinlogic
@mkmk233
mkmk233
@dark-flames
dark-flames dark-flames
Programming Language / Dependent Type Theory / Full Stack Developer

Kyoto University Kyoto, Japan

@Glavo
Glavo Glavo
PLCT Lab

@plctlab Inner Mongolia, China

@mechtifs
Rinne mechtifs

Pluto

@plt-amy
Amélia plt-amy
Homotopy type theorist ✨

Brazil

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@mio-19
Mio mio-19
There is nothing here T_T

Aotearoa New Zealand and Australia

@NekoCaffeine
NekoCaffeine Deprecated NekoCaffeine
Homo homini lupus
@OlingCat
Oling Cat OlingCat
Just a little cat.

Hakurei Shrine Gensokyo

@fangyi-zhou
Fangyi Zhou fangyi-zhou
Software Engineer | Programming Language Researcher pronoun.is/they

London, UK

@niltok
玩火 niltok
⊥-elim 🔥

@Meituan

@Commelina
Commelina Commelina
I am a small non-language model.

Gensokyo

@raptazure
Raptazure raptazure
✨ "Imagination bodies forth #=> the forms of things unknown."
@alissa-tung
Alissa Tung alissa-tung

Peking University

@p4gefau1t
Page Fault p4gefau1t
0xcdcdcdcd

0xcccccccc

@ksyx
ksyx

Worcester, MA

@jinyuzu99
yuzu jin jinyuzu99
founder of @dorymicom

@dorymicom

@Cloudifold
Cloudifold Cloudifold
(inf,1)-cat in a RingWorld.
@favonia
favonia favonia
Teaching at U of Minnesota

University of Minnesota Minneapolis, MN, USA

@thautwarm
Taine Zhao thautwarm
Casting a fireball.

China

@Codetector1374
Yaotian Feng Codetector1374
Graduate of Georgia Tech, Interested in Compilers and Operating Systems as well as HPC / Hardware Design. Works at @NVIDIA

@NVIDIA /dev/nvme0p1

@re-xyr
daylily re-xyr
“Of no particular qualities of note”

Carnegie Mellon University Gensokyo

@penguin-wwy
penguin_wwy penguin-wwy
Compiler; Static Analysis; Love Kotlin; Rust is the best great program :)

Shanghai

@Ray-Eldath
Ray Eldath Ray-Eldath
Twilight lingers the waning day.
@SakuraMoeka
Sakura Moeka SakuraMoeka
@SEmmmer
Emmmer SEmmmer

Shinnippori

@lonelyion
离子 lonelyion
Full-stack developer from embeded devices to web frontend

127.0.0.1

@imbillow
billow imbillow
Free Developer avator: [104110937]

狐百合原野

@luojia65
Luo Jia / Zhouqi Jiang luojia65
Pura Rustulo (Pure Rustacean) kaj Esperantisto! @luojia65:matrix.org

@IoTS-P Lab, National Institute of Cyberspace Engineering Wuhan, Hubei

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

0