Alternatives and similar repositories for intellij-frege

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

• vorotynsky / Kroha
  A small language makes assembly less painful.
  ☆31Updated 2 years ago
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆31Updated last month
• devexperts / lin-check
  Linearization checker for Java concurrent programs
  ☆105Updated 2 years ago
• kkarnauk / parsek
  Parser combinators in Kotlin for Kotlin Multiplatform
  ☆17Updated 3 years ago
• danyaberezun / compilers-supplementary
  ☆10Updated last week
• yegor256 / jaxec
  Primitive execution of command line commands from Java (mostly useful for tests)
  ☆13Updated this week
• devexperts / dlcheck
  Potential deadlocks checker
  ☆87Updated 6 years ago
• JetBrains-Research / paddle
  Young and dynamic build system for Python
  ☆21Updated last year
• atp-mipt / ljv
  Lightweight Java Visualizer
  ☆291Updated 2 years ago
• devexperts / time-test
  Framework for testing time-dependent functionality
  ☆32Updated 7 years ago
• ItsLastDay / KotlinFuzzer
  Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.
  ☆7Updated 2 years ago
• JetBrains-Research / litmuskt
  Litmus testing tool for Kotlin/Native (WIP)
  ☆9Updated 3 weeks ago
• orchestr7 / vercraft
  A simple tool for versioning your JVM app which calculates the version of the commit in SemVer format
  ☆37Updated last week
• RainM / rperf2
  ☆24Updated 11 months ago
• amaembo / code-reflection-asserts
  Experimental assertions library based on Project Babylon features
  ☆9Updated 9 months ago
• eo-cqrs / eo-kafka
  EO Kafka Producers and consumers for working with Apache Kafka message broker
  ☆29Updated 2 weeks ago
• JetBrains-Research / RefactorInsight
  An IntelliJ IDEA plugin that detects refactorings in Git commits
  ☆106Updated last year
• dmitry-vlasov / russell
  An implementation of the Russell logical framework
  ☆8Updated 5 years ago
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆75Updated last week
• Lipen / kotlin-satlib
  🗿 SAT solver wrappers for Kotlin
  ☆9Updated last year
• 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 2 months ago
• JetBrains / gradle-grammar-kit-plugin
  Gradle plugin for generating lexers (with JFlex) and BNF parsers (with Grammar-Kit) for IntelliJ language plugins
  ☆87Updated last week
• skopylov58 / java-functional-addons
  Functional Try, Result, Option, Either, Reader, State monads and set of useful high order functions
  ☆49Updated 3 months ago
• HDouss / jeometry
  Simple 2D Java Geometry library
  ☆28Updated last year
• JetBrains / ij-perf-report-aggregator
  ☆20Updated this week
• VirtusLab / ide-probe
  ☆25Updated 7 months ago
• brianburton / java-immutable-collections
  Efficient Immutable/Persistent Collections for Java
  ☆43Updated 7 months ago
• wizzardo / tools
  ☆42Updated this week
• hhru / nuts-and-bolts
  Мейнтейнер: Команда Платформа. Web application framework for HeadHunter internal services
  ☆26Updated 2 months ago