JetBrains

Repositories

• arend-lib
  Java Apache-2.0 13 51 5 5 Updated Oct 29, 2020

• Arend

  The Arend Proof Assistant

  arend
  Java Apache-2.0 21 449 45 2 Updated Oct 29, 2020

• MPS

  JetBrains Meta programming System

  dsl domain-specific-language
  Java 210 1,101 0 3 Updated Oct 29, 2020

• JetBrainsRuntime

  Runtime environment based on OpenJDK for running IntelliJ Platform-based products on Windows, macOS, and Linux

  jdk openjdk intellij-platform
  Java 52 123 7 6 Updated Oct 29, 2020

• kotlin-web-site

  The Kotlin programming language website

  kotlin
  JavaScript Apache-2.0 2,454 900 2 31 Updated Oct 29, 2020

• intellij-scala

  Scala plugin for IntelliJ IDEA

  scala intellij-plugin intellij-idea
  Scala Apache-2.0 348 1,000 0 1 Updated Oct 29, 2020

• kotlin

  The Kotlin Programming Language

  kotlin programming-language compiler kotlin-library maven-plugin gradle-plugin intellij-plugin
  Kotlin 4,213 33,782 2 165 Updated Oct 29, 2020

• intellij-community

  IntelliJ IDEA Community Edition & IntelliJ Platform

  intellij ide code-editor intellij-platform
  Apache-2.0 3,727 10,775 2 163 Updated Oct 29, 2020

• fsharp-support

  F# support in JetBrains Rider

  plugin fsharp jetbrains resharper rider
  F# Apache-2.0 36 193 16 12 Updated Oct 29, 2020

• gradle-intellij-plugin

  Plugin for building plugins for IntelliJ IDEs

  kotlin groovy gradle intellij teamcity intellij-platform jetbrains-plugin
  Groovy Apache-2.0 196 852 38 (2 issues need help) 1 Updated Oct 28, 2020

• intellij-coverage

  IntelliJ IDEA code coverage agent

  java coverage intellij coverage-agent
  Java 19 31 0 11 Updated Oct 28, 2020

• lets-plot

  An open-source plotting library for statistical data.

  kotlin python data-science jupyter plot data-visualization plot-library
  Kotlin 13 437 31 1 Updated Oct 28, 2020

• intellij-arend

  Arend plugin for IntelliJ IDEA

  intellij intellij-plugin arend
  Kotlin Apache-2.0 5 61 36 1 Updated Oct 28, 2020

• intellij-plugin-verifier

  Compatibility verification tool for IntelliJ Platform plugins
  Kotlin Apache-2.0 24 84 1 1 Updated Oct 28, 2020

• create-react-kotlin-app

  Create React apps using Kotlin with no build configuration

  react kotlin webpack create-react-app jetbrains-ui
  JavaScript MIT 135 2,343 0 12 Updated Oct 28, 2020

• intellij-sdk-docs

  IntelliJ SDK Platform Documentation

  docs sdk intellij jetbrains intellij-plugin intellij-platform intellijidea-plugin
  Java Apache-2.0 640 862 2 1 Updated Oct 28, 2020

• intellij-plugins

  Open-source plugins included in the distribution of IntelliJ IDEA Ultimate and other IDEs based on the IntelliJ Platform
  Java 884 1,575 0 17 Updated Oct 28, 2020

• kotlin-native

  Kotlin/Native infrastructure

  kotlin c objective-c compiler llvm
  Kotlin Apache-2.0 608 6,906 99 26 Updated Oct 28, 2020

• swot

  Forked from leereilly/swot

  Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.
  Kotlin MIT 9,896 846 1 42 Updated Oct 28, 2020

• rd

  Reactive Distributed communication framework for .net, kotlin, js. Inspired by Rider IDE.
  1 package C# Apache-2.0 20 218 16 3 Updated Oct 28, 2020

• android

  Android Plugin for IntelliJ IDEA
  Java Apache-2.0 147 611 0 0 Updated Oct 28, 2020

• kotlin-wrappers

  Kotlin wrappers for popular JavaScript libraries

  react redux css kotlin styled-components react-router-dom kotlin-js
  Kotlin Apache-2.0 95 692 38 2 Updated Oct 28, 2020

• intellij-sdk-code-samples

  Mirror of the IntelliJ SDK Docs Code Samples

  intellij jetbrains intellij-plugin intellij-platform intellij-idea jetbrains-plugin jetbrains-plugins
  Java Apache-2.0 25 87 0 0 Updated Oct 28, 2020

• phpstorm-phpstan-plugin

  PHPStan plugin for PhpStorm

  phpstorm phpstan
  Java Apache-2.0 3 106 0 1 Updated Oct 28, 2020

• Rplugin

  R Language support for IntelliJ-based IDEs

  intellij-plugin rlang rlanguage
  Kotlin Apache-2.0 2 28 1 0 Updated Oct 28, 2020

• phpstorm-psalm-plugin

  Psalm plugin for PhpStorm

  phpstorm psalm
  Java Apache-2.0 2 99 32 0 Updated Oct 28, 2020

• Rkernel-proto
  Apache-2.0 0 0 0 0 Updated Oct 28, 2020

• Rkernel
  R 0 6 0 0 Updated Oct 28, 2020

• teamcity-dotnet-plugin

  TeamCity plugin for .NET Core projects

  msbuild ci dotnet dotnet-core teamcity vstest dotnet-standard
  Kotlin Apache-2.0 15 76 10 0 Updated Oct 28, 2020

• KotlinDL
  Kotlin Apache-2.0 1 11 5 1 Updated Oct 28, 2020