GlebSolovev

GlebSolovev's Stars

• mxschmitt/action-tmate

  Debug your GitHub Actions via SSH by using tmate to get access to the runner system itself.

  Language:JavaScript3k292

• JetBrains-Research/bitcode-tools

  Gradle tools to analyze bitcode of a Kotlin/Native project

  Language:Kotlin6

• JetBrains-Research/coqpilot

  VSCode extension that is designed to help automate writing of Coq proofs.

  Language:TypeScript753

• coolassassin/reactcci

  React create component interactive CLI

  Language:TypeScript683

• jjohannes/understanding-gradle

  The Understanding Gradle video series introduces the concepts of the Gradle Build Tool one-by-one in short videos.

  Language:Java26239

• DLochmelis33/kmm-research

  The Kotlin Programming Language.

  Language:Kotlin1

• shrimai/Style-Transfer-Through-Back-Translation

  Language:Python16232

• flame-stream/Papers

  Papers' sources

  Language:TeX2

• yeputons/hse-2019-pb-tasks

  Language:C++169