IntelliJ-Frege / intellij-fregeLinks
IntelliJ IDEA plugin for Frege language
☆40Updated 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:
- Parser combinators in Kotlin for Kotlin Multiplatform☆17Updated 3 years ago
- A small language makes assembly less painful.☆31Updated 2 years ago
- Litmus testing tool for Kotlin/Native (WIP)☆9Updated 2 months ago
- Young and dynamic build system for Python☆21Updated 2 years ago
- A simple tool for versioning your JVM app which calculates the version of the commit in SemVer format☆37Updated this week
- Framework for testing time-dependent functionality☆32Updated 7 years ago
- ☆11Updated last month
- Linearization checker for Java concurrent programs☆105Updated 2 years ago
- Gradle plugin for generating lexers (with JFlex) and BNF parsers (with Grammar-Kit) for IntelliJ language plugins☆87Updated last month
- IntelliJ IDEA Plugin DevKit Showcase☆20Updated 5 years ago
- 🗿 SAT solver wrappers for Kotlin☆10Updated last year
- ☆25Updated 9 months ago
- Java Spring library for declarative logging☆41Updated 2 years ago
- ☆24Updated last year
- Potential deadlocks checker☆87Updated 6 years ago
- The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)☆28Updated 5 months ago
- ☆167Updated last year
- ☆13Updated 2 years ago
- Bot for Kotlin chats in telegram.☆24Updated last week
- Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.☆7Updated 2 years ago
- This plugin allows the use of Gradle wrapper on the machine without JVM.☆29Updated 3 months ago
- Мейнтейнер: Команда Платформа. Web application framework for HeadHunter internal services☆26Updated 3 months ago
- ☆19Updated last week
- Arend plugin for IntelliJ IDEA☆93Updated 4 months ago
- Property-based test framework☆80Updated 2 years ago
- Scopes Manager IntelliJ Plugin☆11Updated this week
- An IntelliJ IDEA plugin that detects refactorings in Git commits☆107Updated last year
- Решение для конкурса FunCode Java/Kotlin Challenge☆24Updated 5 years ago
- Command-line tool for creating Ktor projects☆125Updated 2 months ago
- ☆22Updated last month