IntelliJ-Frege / intellij-frege
IntelliJ IDEA plugin for Frege language
☆40Updated 2 years ago
Alternatives and similar repositories for intellij-frege:
Users that are interested in intellij-frege are comparing it to the libraries listed below
- Parser combinators in Kotlin for Kotlin Multiplatform☆17Updated 2 years ago
- Kotlin/Java API for various SMT solvers☆31Updated last week
- ☆10Updated last week
- ☆27Updated 6 months ago
- Potential deadlocks checker☆87Updated 6 years ago
- A simple tool for versioning your JVM app which calculates the version of the commit in SemVer format☆36Updated last week
- ☆16Updated last month
- Framework for testing time-dependent functionality☆32Updated 7 years ago
- fast and effective way to access and analyze java bytecode☆27Updated this week
- Static Analyzer for Java Code with Machine Learning in Mind☆51Updated 11 months ago
- Linearization checker for Java concurrent programs☆105Updated last year
- ☆169Updated last year
- Explyt Spring is a free, source-available plugin for IntelliJ IDEA Community Edition, designed to simplify and improve development with t…☆56Updated this week
- ☆22Updated this week
- Experimental assertions library based on Project Babylon features☆9Updated 8 months ago
- ☆30Updated this week
- IntelliJ IDEA Plugin DevKit Showcase☆19Updated 5 years ago
- Bot for Kotlin chats in telegram.☆22Updated last week
- ☆24Updated 9 months ago
- Young and dynamic build system for Python☆21Updated last year
- Just a little toy System F interpreter, doesn't even have proper generics yet.☆12Updated 4 years ago
- Решение для конкурса FunCode Java/Kotlin Challenge☆24Updated 4 years ago
- Teaching language LaMa for a compiler course☆72Updated last week
- Revolutionary high-performance Groovy/Java Slf4j logger☆17Updated 4 years ago
- Мейнтейнер: Команда Платформа. Web application framework for HeadHunter internal services☆26Updated 2 weeks ago
- Property-based test framework☆80Updated 2 years ago
- Gradle plugin for generating lexers (with JFlex) and BNF parsers (with Grammar-Kit) for IntelliJ language plugins☆89Updated 2 weeks ago
- Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.☆7Updated 2 years ago
- Functional Try, Result, Option, Either, Reader, State monads and set of useful high order functions☆49Updated 2 months ago
- ☆68Updated 6 years ago