Open Source Contributions

I love helping to improve this excellent world.

Contributing to open-source projects is a part of my life. This is also an effective way to learn programming languages that I am not familiar with.

That does not mean I do not submit typo-fixing pull requests. Instead, I usually submit pull requests like that, but I do not call this “contributions” and I do not list them here as well.

This list (up to 2023) is fairly outdated, because creating pull requests is already exhaustive…

There are 80 contributions listed here in total.

Overview

Repo Language Status
agda Haskell GitHub issue state
libgdx Java, C++ GitHub issue state
jacoco Java GitHub issue state
risinglight Rust GitHub issue state
arend Java GitHub issue state
intellij-arend Kotlin GitHub issue state
hstacks Arend GitHub issue state
arend Java GitHub issue state
intellij-arend Kotlin GitHub issue state
arend Java GitHub issue state
intellij-arend Kotlin GitHub issue state
arend Java GitHub issue state
intellij-arend Kotlin GitHub issue state
arend-lib Arend GitHub issue state
arend Java GitHub issue state
agda Haskell, JavaScript GitHub issue state
arend Java GitHub issue state
arend-lib Arend GitHub issue state
arend Java GitHub issue state
miniagda Happy GitHub issue state
intellij-arend Kotlin GitHub issue state
arend Gradle Kotlin DSL GitHub issue state
intellij-arend Java GitHub issue state
arend Java GitHub issue state
arend Java GitHub issue state
arend Java GitHub issue state
arend Java GitHub issue state
arend Groovy GitHub issue state
arend-lib Arend GitHub issue state
intellij-arend Kotlin GitHub issue state
intellij-arend Kotlin GitHub issue state
arend Java GitHub issue state
arend Java GitHub issue state
intellij-arend Kotlin GitHub issue state
mirai Kotlin GitHub issue state
arend Java GitHub issue state
intellij-arend Kotlin GitHub issue state
intellij-arend Kotlin GitHub issue state
arend-lib Arend GitHub issue state
arend Java GitHub issue state
arend Java, Kotlin GitHub issue state
arend Java GitHub issue state
linguist tmLanguage GitHub issue state
rust-analyzer Rust GitHub issue state
rust-analyzer Rust GitHub issue state
TeXiFy-IDEA Kotlin GitHub issue state
TeXiFy-IDEA Kotlin GitHub issue state
intellij-rust Kotlin GitHub issue state
protobuf-build Rust GitHub issue state
intellij-rust Kotlin GitHub issue state
katex JavaScript GitHub issue state
raft-rs Rust GitHub issue state
shields JavaScript GitHub issue state
intellij-haskell Scala GitHub issue state
intellij-haskell Scala GitHub issue state
cubical Agda GitHub issue state
cubical Agda GitHub issue state
cubical Agda GitHub issue state
kvproto Rust GitHub issue state
intellij-haskell Scala GitHub issue state
protobuf-build Rust GitHub issue state
grpc-rs Rust GitHub issue state
grpc-rs Rust GitHub issue state
intellij-haskell Scala GitHub issue state
intellij-haskell Scala GitHub issue state
intellij-haskell Scala GitHub issue state
agda Haskell GitHub issue state
agda Haskell GitHub issue state
agda Haskell GitHub issue state
imgui C++ GitHub issue state
intellij-emmylua Groovy, Kotlin GitHub issue state
djinni Java GitHub issue state
imgui C++ GitHub issue state
intellij-solidity Kotlin GitHub issue state
intellij-sdk-docs Markdown GitHub issue state
intellij-sdk-docs Markdown GitHub issue state
shields JavaScript GitHub issue state
llvmsharp C# GitHub issue state
a8translate Java, Kotlin GitHub issue state
tk Ruby GitHub issue state

ruby/tk#8

pull request in Ruby.

pingerone/a8translate#1

pull request in Java, Kotlin.

microsoft/llvmsharp#58

pull request in C#.

badges/shields#1164

pull request in JavaScript.

jetbrains/intellij-sdk-docs#75

pull request in Markdown.

jetbrains/intellij-sdk-docs#87

pull request in Markdown.

intellij-solidity/intellij-solidity#69

pull request in Kotlin.

ocornut/imgui#1827

pull request in C++.

dropbox/djinni#363

pull request in Java.

emmylua/intellij-emmylua#181

pull request in Groovy, Kotlin.

ocornut/imgui#2088

pull request in C++.

agda/agda#3313

pull request in Haskell.

agda/agda#3367

pull request in Haskell.

agda/agda#3384

pull request in Haskell.

rikvdkleij/intellij-haskell#330

pull request in Scala.

rikvdkleij/intellij-haskell#331

pull request in Scala.

rikvdkleij/intellij-haskell#334

pull request in Scala.

pingcap/grpc-rs#238

pull request in Rust.

pingcap/grpc-rs#222

pull request in Rust.

tikv/protobuf-build#2

pull request in Rust.

rikvdkleij/intellij-haskell#387

pull request in Scala.

pingcap/kvproto#358

pull request in Rust.

agda/cubical#57

pull request in Agda.

agda/cubical#27

pull request in Agda.

agda/cubical#32

pull request in Agda.

rikvdkleij/intellij-haskell#349

pull request in Scala.

rikvdkleij/intellij-haskell#358

pull request in Scala.

badges/shields#3295

pull request in JavaScript.

pingcap/raft-rs#201

pull request in Rust.

katex/katex#1953

pull request in JavaScript.

intellij-rust/intellij-rust#3745

pull request in Kotlin.

tikv/protobuf-build#7

pull request in Rust.

intellij-rust/intellij-rust#3759

pull request in Kotlin.

Hannah-Sten/TeXiFy-IDEA#935

pull request in Kotlin.

Hannah-Sten/TeXiFy-IDEA#932

pull request in Kotlin.

rust-analyzer/rust-analyzer#1924

pull request in Rust.

rust-analyzer/rust-analyzer#2474

pull request in Rust.

github/linguist#4777

pull request in tmLanguage.

jetbrains/arend#110

pull request in Java.

jetbrains/arend#112

pull request in Java, Kotlin.

jetbrains/arend#133

pull request in Java.

jetbrains/arend-lib#9

pull request in Arend.

jetbrains/intellij-arend#97

pull request in Kotlin.

jetbrains/intellij-arend#98

pull request in Kotlin.

jetbrains/arend#146

pull request in Java.

mamoe/mirai#85

pull request in Kotlin.

jetbrains/intellij-arend#120

pull request in Kotlin.

jetbrains/arend#152

pull request in Java.

jetbrains/arend#155

pull request in Java.

jetbrains/intellij-arend#134

pull request in Kotlin.

jetbrains/intellij-arend#137

pull request in Kotlin.

jetbrains/arend-lib#13

pull request in Arend.

jetbrains/arend#162

pull request in Groovy.

jetbrains/arend#158

pull request in Java.

jetbrains/arend#166

pull request in Java.

jetbrains/arend#167

pull request in Java.

jetbrains/arend#175

pull request in Java.

jetbrains/intellij-arend#156

pull request in Java.

jetbrains/arend#177

pull request in Gradle Kotlin DSL.

jetbrains/intellij-arend#157

pull request in Kotlin.

andreasabel/miniagda#7

pull request in Happy.

jetbrains/arend#199

pull request in Java.

jetbrains/arend-lib#17

pull request in Arend.

jetbrains/arend#204

pull request in Java.

agda/agda#4535

pull request in Haskell, JavaScript.

jetbrains/arend#210

pull request in Java.

jetbrains/arend-lib#19

pull request in Arend.

jetbrains/intellij-arend#188

pull request in Kotlin.

jetbrains/arend#232

pull request in Java.

jetbrains/intellij-arend#207

pull request in Kotlin.

jetbrains/arend#254

pull request in Java.

jetbrains/intellij-arend#223

pull request in Kotlin.

jetbrains/arend#262

pull request in Java.

tonyxty/hstacks#1

pull request in Arend.

jetbrains/intellij-arend#236

pull request in Kotlin.

jetbrains/arend#271

pull request in Java.

risinglightdb/risinglight#771

pull request in Rust.

jacoco/jacoco#1393

pull request in Java.

libgdx/libgdx#7144

pull request in Java, C++.

agda/agda#6698

pull request in Haskell.