☆16Apr 2, 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. 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
- Datatype-generic object-oriented transformations for OCaml☆17Nov 16, 2025Updated 4 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
- Graphviz for Kotlin Multiplatform☆12Mar 26, 2024Updated 2 years ago
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated 2 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- 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]☆25Updated this week
- Git VCS Support for TeamCity☆14Mar 30, 2026Updated last week
- ☆18May 10, 2022Updated 3 years ago
- Demonstrates the use of a custom model with Gradle's tooling API.☆18Nov 23, 2016Updated 9 years ago
- Some basic libraries for Coq.☆14Sep 9, 2025Updated 7 months 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 9 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- IntelliJ IDEA plugin to save groups of tabs and switch between different sessions.☆15Apr 15, 2015Updated 10 years ago
- ☆10Jan 19, 2022Updated 4 years ago
- ☆11Jan 13, 2023Updated 3 years ago
- ✨ Super simple IntelliJ-based plugin to refactor selected code using ChatGPT ✨☆12Apr 8, 2024Updated 2 years ago
- Enables full functionality of the AMII plugin on the JetBrains Rider Platform☆12Aug 7, 2023Updated 2 years ago
- Kotlin Onboarding 1: Introduction☆11Dec 19, 2024Updated last year
- 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 10 months ago
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Nov 16, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Source dump of the former Comma IDE.☆12Feb 8, 2025Updated last year
- ☆30Dec 15, 2025Updated 3 months ago
- An interface library for micropython built around asynchronous iterators.☆11Sep 25, 2024Updated last year
- ☆15Jul 30, 2024Updated last year
- Wolfenstein 3D for SDL (Zipit Z2 Port)☆12Jan 19, 2019Updated 7 years 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 4 months ago
- SnakeYAML parser for Intellij IDEA platform IDEs☆18Dec 8, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Plugin for JetBrains IDE for smart PNG and JPEG compression using TinyPNG service.☆14Apr 14, 2024Updated last year
- Kotlin extensions / Interfaces that extends the Java/Scala implementation/implicits of Smile NLP. Basically a simplification for Kotlin (…☆14Mar 31, 2020Updated 6 years ago
- ☆13Dec 11, 2019Updated 6 years ago
- Плагин оптимизирует работу с кодом архитектуры расширяя функциональность DocHub☆12Jan 13, 2026Updated 2 months ago
- A simple in-memory mp3 to wav converter☆18Oct 20, 2025Updated 5 months ago
- Simplify your frontend dev by automatically created vue components and vuex modules☆18Jun 22, 2021Updated 4 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆16Aug 19, 2022Updated 3 years ago