Alternatives and similar repositories for intellij-frege

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

• JetBrains / gradle-grammar-kit-plugin
  Gradle plugin for generating lexers (with JFlex) and BNF parsers (with Grammar-Kit) for IntelliJ language plugins
  ☆87Updated 2 months ago
• devexperts / lin-check
  Linearization checker for Java concurrent programs
  ☆105Updated 2 years ago
• JetBrains / plugin-repository-rest-client
  ☆23Updated 2 months ago
• amaembo / screenshoter
  IDEA plugin to make code screenshots
  ☆84Updated last year
• devexperts / time-test
  Framework for testing time-dependent functionality
  ☆32Updated 7 years ago
• JetBrains / kotlin-grammar-generator
  ☆13Updated 6 years ago
• atp-mipt / ljv
  Lightweight Java Visualizer
  ☆291Updated 2 years ago
• devexperts / dlcheck
  Potential deadlocks checker
  ☆87Updated 6 years ago
• JetBrains / jetCheck
  Property-based test framework
  ☆80Updated 2 years ago
• mfilippov / gradle-jvm-wrapper
  This plugin allows the use of Gradle wrapper on the machine without JVM.
  ☆29Updated last week
• Frege / frege-gradle-plugin
  Gradle plugin for compiling Frege projects
  ☆25Updated 3 years ago
• domclick / spring-flow-statemachine
  ☆69Updated 6 years ago
• JetBrains-Research / RefactorInsight
  An IntelliJ IDEA plugin that detects refactorings in Git commits
  ☆107Updated last year
• vorotynsky / Kroha
  A small language makes assembly less painful.
  ☆31Updated 3 years ago
• VirtusLab / ide-probe
  ☆25Updated 9 months ago
• vadim-emelianov / kotlin-spring-vue
  Kotlin + Spring Boot + Vue.js
  ☆19Updated 2 years ago
• kravchik / senjin
  SimpleENGINe (easy use of OpenGL and shaders)
  ☆12Updated 8 months ago
• antlr / antlr4-intellij-adaptor
  A library to support the use of ANTLR grammars in jetbrains IDE plugins for building custom languages.
  ☆215Updated 7 months ago
• wizzardo / json-benchmarks
  Benchmarks for popular json libraries
  ☆37Updated 5 years ago
• gridkit / nanocloud
  NanoCloud - distributed computing toolkit
  ☆61Updated last year
• sviperll / adt4j
  adt4j - Algebraic Data Types for Java
  ☆146Updated 7 years ago
• JetBrains / intellij-arend
  Arend plugin for IntelliJ IDEA
  ☆93Updated 4 months ago
• ruslanys / ifunny
  Решение для конкурса FunCode Java/Kotlin Challenge
  ☆24Updated 5 years ago
• JetBrains-Research / IntelliJDeodorant
  The project is not actively supported.
  ☆57Updated 3 years ago
• Tinkoff / eclair
  Java Spring library for declarative logging
  ☆41Updated 2 years ago
• vlsi / confplanner
  Conference schedule planner
  ☆24Updated 2 years ago
• melix / groovy-bytecode-ast
  A Groovy AST transformation which allows writing the body of a method as bytecode instructions.
  ☆48Updated 9 years ago
• jspecify / jspecify-reference-checker
  The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)
  ☆27Updated 6 months ago
• ruslanys / telegraff
  Kotlin DSL для разработки Telegram ботов
  ☆145Updated 4 years ago
• typemeta / funcj
  Assorted functional-oriented data structures and algorithms for Java.
  ☆112Updated 4 months ago