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
- Kotlin/Java API for various SMT solvers☆31Updated 3 weeks ago
- Litmus testing tool for Kotlin/Native (WIP)☆9Updated last month
- Conference schedule planner☆24Updated 2 years ago
- A small language makes assembly less painful.☆31Updated 2 years ago
- Young and dynamic build system for Python☆21Updated last year
- Framework for testing time-dependent functionality☆32Updated 7 years ago
- A simple tool for versioning your JVM app which calculates the version of the commit in SemVer format☆37Updated 2 weeks ago
- Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.☆7Updated 2 years ago
- Potential deadlocks checker☆87Updated 6 years ago
- ☆25Updated 8 months ago
- ☆30Updated last week
- Primitive execution of command line commands from Java (mostly useful for tests)☆13Updated last week
- ☆167Updated last year
- Benchmarks for popular json libraries☆37Updated 5 years ago
- Lightweight Java Visualizer☆292Updated 2 years ago
- Teaching language LaMa for a compiler course☆75Updated last month
- Bot for Kotlin chats in telegram.☆24Updated this week
- Решение для конкурса FunCode Java/Kotlin Challenge☆24Updated 5 years ago
- ☆24Updated 11 months ago
- Functional Try, Result, Option, Either, Reader, State monads and set of useful high order functions☆49Updated 4 months ago
- Linearization checker for Java concurrent programs☆105Updated 2 years ago
- Command-line tool for creating Ktor projects☆124Updated 2 months ago
- Code editor component for web apps☆40Updated 5 years ago
- Gradle plugin for generating lexers (with JFlex) and BNF parsers (with Grammar-Kit) for IntelliJ language plugins☆87Updated 3 weeks ago
- ☆11Updated 2 weeks ago
- Automated unit test generation and precise code analysis for Java☆138Updated last year
- Java Spring library for declarative logging☆41Updated 2 years ago
- Kotlin DSL для разработки Telegram ботов☆145Updated 4 years ago
- ☆13Updated 6 years ago