☆16Mar 12, 2026Updated last week
Alternatives and similar repositories for debugger-agent
Users that are interested in debugger-agent are comparing it to the libraries listed below
Sorting:
- Gradle plugin for building plugins for Fleet IDE☆41Aug 15, 2024Updated last year
- A collection of new project templates for Writerside☆30Feb 26, 2025Updated last year
- Microsoft Azure PowerShell☆10Mar 1, 2026Updated 3 weeks ago
- ☆13Apr 9, 2025Updated 11 months ago
- RSocket example with Spring☆10Mar 4, 2023Updated 3 years ago
- Writerside curated GitHub Action used to generate the documentation website using JetBrains Writerside☆83Mar 14, 2026Updated last week
- Datatype-generic object-oriented transformations for OCaml☆17Nov 16, 2025Updated 4 months ago
- Millénaire is a Minecraft mod that aims to fill the "emptiness" left by the default Minecraft Villages by adding new NPC villages loosely…☆29Jan 7, 2018Updated 8 years ago
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆18Mar 3, 2026Updated 2 weeks ago
- Graphviz for Kotlin Multiplatform☆12Mar 26, 2024Updated last year
- An IntelliJ plugin that provides some useful utilities to support the daily work with Gradle.☆11Aug 6, 2025Updated 7 months ago
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated 2 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- A software tool kit to help identify quickly what's inside your binary files.☆14Dec 9, 2024Updated last year
- A plugin that automatically configures the IDEs Issue Navigation for GitHub projects.☆11Updated this week
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆24Oct 21, 2024Updated last year
- demo for charts-rs☆16Mar 1, 2026Updated 3 weeks ago
- Web application project template (using the Compose HTML library)☆26Oct 29, 2025Updated 4 months ago
- The command line tool to generate DOCX, HTML, ODT, PDF, PNG, PPTX, RTF, XLS, XLSX files from jrxml template☆16Feb 23, 2026Updated 3 weeks ago
- Git VCS Support for TeamCity☆14Updated this week
- 已迁移到. https://github.com/jetlinks/jetlinks-community☆24Nov 26, 2019Updated 6 years ago
- IDEA Feature Suggester is an IntelliJ Platform plugin that analyzes your actions while coding and suggests IDE actions to make you work m…☆16Nov 18, 2024Updated last year
- Lenses in Coq☆17Oct 7, 2022Updated 3 years ago
- Mechanized Theory of Event Structures☆16Aug 16, 2023Updated 2 years ago
- Issue tracker for Better Highlights Intellij IDEA plugin☆12Jul 16, 2023Updated 2 years ago
- ☆18May 10, 2022Updated 3 years ago
- Demonstrates the use of a custom model with Gradle's tooling API.☆18Nov 23, 2016Updated 9 years ago
- Tool for testing programs with C/C++11 Atomics☆11Dec 9, 2024Updated last year
- Some basic libraries for Coq.☆14Sep 9, 2025Updated 6 months ago
- SOCKS protocol codec and proxy handler for Netty☆13Jan 26, 2026Updated last month
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Mar 10, 2018Updated 8 years ago
- A simple example of kotlim compiler plugin with FIR and IR.☆13Oct 31, 2022Updated 3 years ago
- Simple way to transform Ktor requests into cURL logs☆12Jun 28, 2025Updated 8 months ago
- The-interview-of-Front-end☆12Feb 11, 2022Updated 4 years ago
- IntelliJ IDEA plugin to save groups of tabs and switch between different sessions.☆15Apr 15, 2015Updated 10 years ago
- Vaadin IntelliJ Plugin☆14Mar 10, 2026Updated last week
- ☆11Jul 8, 2020Updated 5 years ago
- ☆10Jan 19, 2022Updated 4 years ago
- Template repository for creating JetBrains Academy Java courses☆11Feb 26, 2025Updated last year