Alternatives and similar repositories for intellij-frege

Users that are interested in intellij-frege are comparing it to the libraries listed below

• JetBrains / plugin-repository-rest-client
  ☆23Updated 6 months ago
• mfilippov / gradle-jvm-wrapper
  This plugin allows the use of Gradle wrapper on the machine without JVM.
  ☆29Updated 4 months ago
• JetBrains / gradle-grammar-kit-plugin
  Gradle plugin for generating lexers (with JFlex) and BNF parsers (with Grammar-Kit) for IntelliJ language plugins
  ☆89Updated last week
• devexperts / lin-check
  Linearization checker for Java concurrent programs
  ☆106Updated 2 years ago
• devexperts / time-test
  Framework for testing time-dependent functionality
  ☆33Updated 7 years ago
• jspecify / jspecify-reference-checker
  The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)
  ☆31Updated 2 months ago
• JetBrains / jetCheck
  Property-based test framework
  ☆82Updated 2 months ago
• Frege / frege-gradle-plugin
  Gradle plugin for compiling Frege projects
  ☆25Updated 3 years ago
• JetBrains / kotlin-grammar-generator
  ☆13Updated 6 years ago
• devexperts / dlcheck
  Potential deadlocks checker
  ☆88Updated 6 years ago
• igoriakovlev / JumpToLine
  ☆24Updated last month
• typemeta / funcj
  Assorted functional-oriented data structures and algorithms for Java.
  ☆116Updated 8 months ago
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆34Updated last month
• domclick / spring-flow-statemachine
  ☆70Updated 7 years ago
• brianburton / java-immutable-collections
  Efficient Immutable/Persistent Collections for Java
  ☆47Updated last year
• amaembo / screenshoter
  IDEA plugin to make code screenshots
  ☆84Updated last year
• antlr / antlr4-intellij-adaptor
  A library to support the use of ANTLR grammars in jetbrains IDE plugins for building custom languages.
  ☆220Updated 11 months ago
• vavr-io / vavr-kotlin
  Vavr integration for Kotlin
  ☆81Updated 5 years ago
• JetBrains / andel
  Code editor component for web apps
  ☆40Updated 5 years ago
• atp-mipt / ljv
  Lightweight Java Visualizer
  ☆290Updated 2 years ago
• ilya-g / kotlin-jlink-examples
  Examples how to use jlink with kotlin in gradle and maven
  ☆36Updated 2 years ago
• bulenkov / IntelliJIdeaDiagramDemo
  Demo plugin for IntelliJ IDEA showing diagramming features
  ☆28Updated 3 years ago
• JetBrains / xodus-dnq
  Data definition and queries Kotlin DSL over Xodus
  ☆86Updated last week
• JetBrains-Research / RefactorInsight
  An IntelliJ IDEA plugin that detects refactorings in Git commits
  ☆109Updated last year
• ruslanys / ifunny
  Решение для конкурса FunCode Java/Kotlin Challenge
  ☆24Updated 5 years ago
• jon-hanson / parsecj
  Java monadic parser combinator framework for constructing LL(1) parsers
  ☆122Updated 5 months ago
• zhong-j-yu / rekex
  PEG parser generator for Java 17 - grammar as algebraic datatypes
  ☆66Updated 3 years ago
• devexperts / jagent
  ☆15Updated 7 years ago
• gridkit / nanocloud
  NanoCloud - distributed computing toolkit
  ☆61Updated last year
• absurdhero / parsekt
  Parser Combinator library for Kotlin
  ☆27Updated 7 years ago