☆17Apr 10, 2026Updated 3 weeks ago
Alternatives and similar repositories for debugger-agent
Users that are interested in debugger-agent are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- Writerside curated GitHub Action used to generate the documentation website using JetBrains Writerside☆83Mar 14, 2026Updated last month
- Datatype-generic object-oriented transformations for OCaml☆17Nov 16, 2025Updated 5 months ago
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆18Mar 3, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Graphviz for Kotlin Multiplatform☆12Mar 26, 2024Updated 2 years 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
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆25Updated this week
- Git VCS Support for TeamCity☆14Updated this week
- 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
- Mechanized Theory of Event Structures☆16Aug 16, 2023Updated 2 years ago
- ☆18May 10, 2022Updated 3 years ago
- Some basic libraries for Coq.☆14Sep 9, 2025Updated 7 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 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 10 months ago
- IntelliJ IDEA plugin to save groups of tabs and switch between different sessions.☆15Apr 15, 2015Updated 11 years ago
- Vaadin IntelliJ Plugin☆14Mar 26, 2026Updated last month
- ☆10Jan 19, 2022Updated 4 years ago
- This repository has been merged into https://github.com/HXSecurity/DongTai. DongTai-engine used to analyze the method data collected by …☆20Apr 12, 2022Updated 4 years ago
- Template repository for creating JetBrains Academy Python courses☆13Mar 11, 2026Updated last month
- ✨ Super simple IntelliJ-based plugin to refactor selected code using ChatGPT ✨☆12Apr 8, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Kotlin Onboarding 1: Introduction☆11Updated this week
- A Webstorm/IDEA plugin for js object property completion inferred from a complex context☆12Jun 11, 2022Updated 3 years ago
- Wrappers for translation services☆13May 26, 2025Updated 11 months ago
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Nov 16, 2021Updated 4 years ago
- Vulnerability consolidation and management tool, enhances scan results by merging different findings of the same weakness across multiple…☆24Dec 16, 2022Updated 3 years ago
- ☆31Dec 15, 2025Updated 4 months ago
- An interface library for micropython built around asynchronous iterators.☆11Sep 25, 2024Updated last year
- ☆15Jul 30, 2024Updated last year
- Implementation of Netcup DNS API in Golang☆15Mar 30, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Some Flutter intl with Gemini☆10Feb 22, 2026Updated 2 months ago
- NSIS syntax highlighting plugin for IntelliJ IDEA☆11Mar 29, 2015Updated 11 years ago
- ☆13Mar 19, 2024Updated 2 years ago
- coinduction library for Coq☆24Nov 14, 2025Updated 5 months ago
- Plugin for JetBrains IDE for smart PNG and JPEG compression using TinyPNG service.☆14Apr 14, 2024Updated 2 years ago
- Kotlin extensions / Interfaces that extends the Java/Scala implementation/implicits of Smile NLP. Basically a simplification for Kotlin (…☆14Mar 31, 2020Updated 6 years ago
- IntelliJ Platform Plugin Template with Proguard config☆16Oct 26, 2023Updated 2 years ago