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
- Linearization checker for Java concurrent programs☆105Updated last year
- Framework for testing time-dependent functionality☆32Updated 7 years ago
- Teaching language LaMa for a compiler course☆72Updated this week
- ☆24Updated 9 months ago
- ☆68Updated 6 years ago
- Podcast "Разбор полетов"☆62Updated this week
- A small language makes assembly less painful.☆32Updated 2 years ago
- Functional Try, Result, Option, Either, Reader, State monads and set of useful high order functions☆49Updated last month
- Potential deadlocks checker☆87Updated 6 years ago
- Papers sources, pictures, presentations, and other stuff☆22Updated last week
- ☆27Updated 5 months ago
- fast and effective way to access and analyze java bytecode☆27Updated 2 weeks ago
- Решение для конкурса FunCode Java/Kotlin Challenge☆24Updated 4 years ago
- Revolutionary high-performance Groovy/Java Slf4j logger☆17Updated 4 years ago
- Conference schedule planner☆25Updated 2 years ago
- Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.☆7Updated 2 years ago
- Lightweight Java Visualizer☆289Updated last year
- Young and dynamic build system for Python☆21Updated last year
- Russian morphology analyzer for Java | Морфологический словарь русского языка для Java☆60Updated last month
- Java Spring library for declarative logging☆41Updated last year
- Мейнтейнер: Команда Платформа. Web application framework for HeadHunter internal services☆26Updated last week
- IDEA plugin to make code screenshots☆85Updated 10 months ago
- An IntelliJ IDEA plugin that detects refactorings in Git commits☆106Updated last year
- Kotlin DSL для разработки Telegram ботов☆146Updated 4 years ago
- A sample distributed store for my talk about consistency in distributed systems☆11Updated 8 years ago
- NanoCloud - distributed computing toolkit☆60Updated last year
- Common utils, abstractions and tools that I use in my projects. They make Java pleasant.☆15Updated last year
- ☆16Updated 2 weeks ago
- Automated unit test generation and precise code analysis for Java☆139Updated 9 months ago