IntelliJ-Frege / intellij-fregeLinks
IntelliJ IDEA plugin for Frege language
☆38Updated 3 years ago
Alternatives and similar repositories for intellij-frege
Users that are interested in intellij-frege are comparing it to the libraries listed below
Sorting:
- Gradle plugin for generating lexers (with JFlex) and BNF parsers (with Grammar-Kit) for IntelliJ language plugins☆94Updated 2 months ago
- Assorted functional-oriented data structures and algorithms for Java.☆116Updated 2 weeks ago
- ☆24Updated 8 months ago
- ☆13Updated 6 years ago
- Potential deadlocks checker☆89Updated 6 years ago
- ☆70Updated 7 years ago
- A library to support the use of ANTLR grammars in jetbrains IDE plugins for building custom languages.☆220Updated last year
- This plugin allows the use of Gradle wrapper on the machine without JVM.☆29Updated 6 months ago
- The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)☆34Updated 2 months ago
- Parser Combinator library for Kotlin☆28Updated 7 years ago
- Primitive execution of command line commands from Java (mostly useful for tests)☆13Updated last week
- Framework for testing time-dependent functionality☆34Updated 7 years ago
- An IntelliJ IDEA plugin that detects refactorings in Git commits☆109Updated 2 years ago
- Java monadic parser combinator framework for constructing LL(1) parsers☆122Updated 7 months ago
- Linearization checker for Java concurrent programs☆105Updated 2 years ago
- Lightweight Java Visualizer☆291Updated 2 years ago
- Data definition and queries Kotlin DSL over Xodus☆85Updated last month
- Property-based test framework☆82Updated 4 months ago
- A static language for the JVM with sensible defaults☆100Updated 10 years ago
- Gradle plugin for compiling Frege projects☆25Updated 4 years ago
- Vavr integration for Kotlin☆81Updated 5 years ago
- Frege language binding and utilities to create JavaFX user interfaces☆35Updated 4 years ago
- Demo plugin for IntelliJ IDEA showing diagramming features☆28Updated 4 years ago
- Arend plugin for IntelliJ IDEA☆94Updated 10 months ago
- The CongoCC Parser Generator, the Next Generation of JavaCC 21, which in turn was the next generation of JavaCC☆47Updated last month
- Efficient Immutable/Persistent Collections for Java☆47Updated last year
- ☆35Updated 6 years ago
- A small language makes assembly less painful.☆31Updated 3 years ago
- Starlasu - A Language Engineering Framework☆114Updated last week
- A truly hackable editor: simple, lightweight, understandable☆146Updated 5 years ago