Open Source Contributions

I love helping improving this excellent world.

Contributing to opensource 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.

Overview

Repo	Language	Status	Checks
tk	Ruby
a8translate	Java, Kotlin
llvmsharp	C#
llvmsharp	C#
shields	JavaScript
intellij-sdk-docs	Markdown
intellij-sdk-docs	Markdown
intellij-solidity	Kotlin
imgui	C++
djinni	Java
intellij-emmylua	Groovy, Kotlin
imgui	C++
agda	Haskell
agda	Haskell
agda	Haskell
intellij-haskell	Scala
intellij-haskell	Scala
intellij-haskell	Scala
grpc-rs	Rust
grpc-rs	Rust
protobuf-build	Rust
intellij-haskell	Scala
kvproto	Rust
cubical	Agda
cubical	Agda
cubical	Agda
intellij-haskell	Scala
intellij-haskell	Scala
shields	JavaScript
raft-rs	Rust

ruby/tk#8

• pull request

• Programming Language: Ruby

• Reference
  Backport request
  A StackOverflow question
  An abandoned bug report

• Content:
  Fixed a fatal bug, provided a monkey patch solution for the StackOverflow asker

pingerone/a8translate#1

• pull request

• Programming Language: Java, Kotlin

• Reference
  The JetBrains IDE Plugin
  The original JetBrains IDE Plugin

• Content:
  Add icon, refactor using Kotlin, add local caching and case insensitiveness

microsoft/llvmsharp#58

• pull request

• Programming Language: C#

• Reference
  
  The project doesn't work on Travis CI since Sep 2, 2015

• Content:
  Migrate sample projects according to the newest LLVMSharp API and .Net Core 2.0
  Fix Travis CI deployment

microsoft/llvmsharp#62

• pull request

• Programming Language: C#

• Content:
  Added link to my C# translation of the official doc
  execution bug fix

badges/shields#1164

• pull request

• Programming Language: JavaScript

• Reference
  A related issue

• Content:
  Added a new badge (with corresponding tests): JetBrains Plugin version

jetbrains/intellij-sdk-docs#75

• pull request

• Programming Language: Markdown

• Content:
  Created instructions for SdkType, tell plugin developers how to create custom “SDK”

jetbrains/intellij-sdk-docs#87

• pull request

• Programming Language: Markdown

• Content:
  Improve SDK descriptions,
  add Gradle Kotlin DSL introductions,
  migrate some https://-based links to upsource:///

intellij-solidity/intellij-solidity#69

• pull request

• Programming Language: Kotlin

• Reference
  A related issue

• Content:
  Fixed compilation errors under IDEA 2018.1,
  migrate toolchain versions,
  support "constructor" syntax,
  added corresponding parser unit test

ocornut/imgui#1827

• pull request

• Programming Language: C++

• Reference
  imgui Java binding

• Content:
  Make subsequent window creation possible

dropbox/djinni#363

• pull request

• Programming Language: Java

• Content:
  Fix IntelliJ IDEA plugin compatibility,
  Add brace matcher and highlightings for keywords

emmylua/intellij-emmylua#181

• pull request

• Programming Language: Groovy, Kotlin

• Content:
  Fix build.gradle non-Windows compatibility,
  Add bug reporter

ocornut/imgui#2088

• pull request

• Programming Language: C++

• Content:
  Remove unnecesasry device invalidation and creation

agda/agda#3313

• pull request

• Programming Language: Haskell

• Reference
  Related issue:

• Content:
  Implemented a feature request about HTML-backend of Agda, by introducing a new command-line flag and modifying the code generation process

agda/agda#3367

• pull request

• Programming Language: Haskell

• Reference
  Related issue:

• Content:
  Support automatically determine output file extension by adding a command line option and modify the internal AST representation

agda/agda#3384

• pull request

• Programming Language: Haskell

• Reference
  Related issue:

• Content:
  Update code generation for reStructuredText backend by wrapping all HTML contents inside a raw directive

rikvdkleij/intellij-haskell#330

• pull request

• Programming Language: Scala

• Reference
  Related issue comment

• Content:
  Add syntax highlighting for soft keywords (contextual keywords) by adding an annotator

rikvdkleij/intellij-haskell#331

• pull request

• Programming Language: Scala

• Content:
  Add live template contexts and some default live templates for pragmas and global declarations

rikvdkleij/intellij-haskell#334

• pull request

• Programming Language: Scala

• Reference
  Related issue:

• Content:
  Improve pragma, function name highlighting by improving the annotator added in my previous PR, improve color settings page, move configuration section

pingcap/grpc-rs#238

• pull request

• Programming Language: Rust

• Content:
  Reduce one memory copy when sending data

pingcap/grpc-rs#222

• pull request

• Programming Language: Rust

• Content:
  Reduce one memory copy when receiving data

tikv/protobuf-build#2

• pull request

• Programming Language: Rust

• Content:
  Support suppressing the generation of certain functions

rikvdkleij/intellij-haskell#387

• pull request

• Programming Language: Scala

• Reference
  Fixed issue:

• Content:
  Implement a brand new pragma parser, fixed a bunch of issues

pingcap/kvproto#358

• pull request

• Programming Language: Rust

• Content:
  Rewrite a shell script with rust codes (which is type safe and faster)

agda/cubical#57

• pull request

• Programming Language: Agda

• Content:
  Add coinductive natural number and its properties (like infinity plus one is still infinity, bisimulation on coinductive naturals and coinductive proof principle)

agda/cubical#27

• pull request

• Programming Language: Agda

• Content:
  Added basic operations (suc, pred) of higher-inductively defined integer and an equality relation on it

agda/cubical#32

• pull request

• Programming Language: Agda

• Content:
  Added basic operations (even, odd) of coinductive infinite stream and proved an equality relation on it

rikvdkleij/intellij-haskell#349

• pull request

• Programming Language: Scala

• Content:
  Support alex files (Haskell lexer generator), add completion, rename adn goto definition for alex lexer rules

rikvdkleij/intellij-haskell#358

• pull request

• Programming Language: Scala

• Content:
  Support language injection for String literals

badges/shields#3295

• pull request

• Programming Language: JavaScript

• Content:
  Enhance status badge for PRs in GithubIssueDetail by showing “merged” and “rejected” as detail for pull requeste

pingcap/raft-rs#201

• pull request

• Programming Language: Rust

• Content:
  Replace the Protobuf library “rust-protobuf” with “prost”