Download ide JAR file with all dependencies

Artifact ide
Group org.aya-prover
Version 0.34.0
Last update 18. November 2024
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 1
Dependencies cli-impl,
There are maybe transitive dependencies!

Artifact ide
Group it.unibo.tuprolog.argumentation
Version 0.8.3
Last update 20. September 2024
Organization not specified
URL https://github.com/tuProlog/arg2p-kt
License Apache-2.0
Dependencies amount 29
Dependencies kotlin-stdlib-jdk8, logback-classic, logback-core, jung-api, jung-visualization, jung-graph-impl, jung-algorithms, jung-io, richtextfx, javafx-base, javafx-base, javafx-base, javafx-base, javafx-controls, javafx-controls, javafx-controls, javafx-controls, javafx-fxml, javafx-fxml, javafx-fxml, javafx-fxml, javafx-graphics, javafx-graphics, javafx-graphics, javafx-graphics, javafx-swing, javafx-swing, javafx-swing, javafx-swing,
There are maybe transitive dependencies!

Artifact ide
Group org.netbeans.cluster
Version RELEASE230
Last update 13. September 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 279
Dependencies bcpg-jdk18on, bcpkix-jdk18on, bcprov-jdk18on, bcutil-jdk18on, gson, failureaccess, guava, JavaEWAH, com-jcraft-jsch, com-jcraft-jzlib, libs-c-kohlschutter-junixsocket, org-apache-commons-httpclient, commons-lang, org-apache-ws-commons-util, org-apache-xml-resolver, org-apache-xmlrpc, org.eclipse.core.contenttype, org.eclipse.core.jobs, org-eclipse-core-net, org-eclipse-core-runtime-compatibility-auth, org.eclipse.core.runtime, org.eclipse.equinox.app, org.eclipse.equinox.common, org-eclipse-equinox-preferences, org-eclipse-equinox-registry, org-eclipse-equinox-security, org.eclipse.jgit.gpg.bc, org.eclipse.jgit.lfs, org.eclipse.jgit.ssh.jsch, org.eclipse.jgit, org-eclipse-mylyn-bugzilla-core, org-eclipse-mylyn-commons-core, org-eclipse-mylyn-commons-net, org-eclipse-mylyn-commons-repositories-core, org-eclipse-mylyn-commons-xmlrpc, org-eclipse-mylyn-tasks-core, org-eclipse-mylyn-wikitext-confluence-core, org-eclipse-mylyn-wikitext-core, org-eclipse-mylyn-wikitext-markdown-core, org-eclipse-mylyn-wikitext-textile-core, org-netbeans-api-debugger, org-netbeans-api-java-classpath, org-netbeans-api-lsp, org-netbeans-api-xml-ui, org-netbeans-api-xml, org-netbeans-core-browser-webview, org-netbeans-core-browser, org-netbeans-core-ide, org-netbeans-core-multitabs-project, org-netbeans-lib-terminalemulator, org-netbeans-libs-antlr3-runtime, org-netbeans-libs-antlr4-runtime, org-netbeans-libs-commons_compress, org-netbeans-libs-commons_net, org-netbeans-libs-flexmark, org-netbeans-libs-freemarker, org-netbeans-libs-git, org-netbeans-libs-graalsdk-system, org-netbeans-libs-graalsdk, org-netbeans-libs-ini4j, org-netbeans-libs-jaxb, org-netbeans-libs-jcodings, org-netbeans-libs-jsch-agentproxy, org-netbeans-libs-json_simple, org-netbeans-libs-lucene, org-netbeans-libs-snakeyaml_engine, org-netbeans-libs-svnClientAdapter-javahl, org-netbeans-libs-svnClientAdapter, org-netbeans-libs-tomlj, org-netbeans-libs-tomljava, org-netbeans-libs-truffleapi, org-netbeans-libs-xerces, org-netbeans-modules-bugtracking-bridge, org-netbeans-modules-bugtracking-commons, org-netbeans-modules-bugtracking, org-netbeans-modules-bugzilla, org-netbeans-modules-code-analysis, org-netbeans-modules-csl-api, org-netbeans-modules-csl-types, org-netbeans-modules-css-editor, org-netbeans-modules-css-lib, org-netbeans-modules-css-model, org-netbeans-modules-css-prep, org-netbeans-modules-css-visual, org-netbeans-modules-db-core, org-netbeans-modules-db-dataview, org-netbeans-modules-db-drivers, org-netbeans-modules-db-kit, org-netbeans-modules-db-metadata-model, org-netbeans-modules-db-mysql, org-netbeans-modules-db-sql-editor, org-netbeans-modules-db-sql-visualeditor, org-netbeans-modules-db, org-netbeans-modules-dbapi, org-netbeans-modules-defaults, org-netbeans-modules-derby, org-netbeans-modules-diff, org-netbeans-modules-dlight-nativeexecution-nb, org-netbeans-modules-dlight-nativeexecution, org-netbeans-modules-dlight-terminal, org-netbeans-modules-docker-api, org-netbeans-modules-docker-editor, org-netbeans-modules-docker-ui, org-netbeans-modules-editor-actions, org-netbeans-modules-editor-autosave, org-netbeans-modules-editor-bookmarks, org-netbeans-modules-editor-bracesmatching, org-netbeans-modules-editor-breadcrumbs, org-netbeans-modules-editor-codetemplates, org-netbeans-modules-editor-completion, org-netbeans-modules-editor-deprecated-pre65formatting, org-netbeans-modules-editor-document, org-netbeans-modules-editor-errorstripe-api, org-netbeans-modules-editor-errorstripe, org-netbeans-modules-editor-fold-nbui, org-netbeans-modules-editor-fold, org-netbeans-modules-editor-global-format, org-netbeans-modules-editor-guards, org-netbeans-modules-editor-indent-project, org-netbeans-modules-editor-indent-support, org-netbeans-modules-editor-indent, org-netbeans-modules-editor-kit, org-netbeans-modules-editor-lib, org-netbeans-modules-editor-lib2, org-netbeans-modules-editor-macros, org-netbeans-modules-editor-plain-lib, org-netbeans-modules-editor-plain, org-netbeans-modules-editor-search, org-netbeans-modules-editor-settings-lib, org-netbeans-modules-editor-settings-storage, org-netbeans-modules-editor-settings, org-netbeans-modules-editor-structure, org-netbeans-modules-editor-tools-storage, org-netbeans-modules-editor-util, org-netbeans-modules-editor, org-netbeans-modules-extbrowser, org-netbeans-modules-extexecution-base, org-netbeans-modules-extexecution-impl, org-netbeans-modules-extexecution-process-jdk9, org-netbeans-modules-extexecution-process, org-netbeans-modules-extexecution, org-netbeans-modules-git, org-netbeans-modules-go-lang, org-netbeans-modules-gototest, org-netbeans-modules-gsf-codecoverage, org-netbeans-modules-gsf-testrunner-ui, org-netbeans-modules-gsf-testrunner, org-netbeans-modules-html-custom, org-netbeans-modules-html-editor-lib, org-netbeans-modules-html-editor, org-netbeans-modules-html-indexing, org-netbeans-modules-html-lexer, org-netbeans-modules-html-parser, org-netbeans-modules-html-validation, org-netbeans-modules-html, org-netbeans-modules-httpserver, org-netbeans-modules-hudson-git, org-netbeans-modules-hudson-mercurial, org-netbeans-modules-hudson-subversion, org-netbeans-modules-hudson-tasklist, org-netbeans-modules-hudson-ui, org-netbeans-modules-hudson, org-netbeans-modules-ide-kit, org-netbeans-modules-image, org-netbeans-modules-javascript2-debug-ui, org-netbeans-modules-javascript2-debug, org-netbeans-modules-jellytools-ide, org-netbeans-modules-jumpto, org-netbeans-modules-languages-diff, org-netbeans-modules-languages-go, org-netbeans-modules-languages-hcl, org-netbeans-modules-languages-manifest, org-netbeans-modules-languages-toml, org-netbeans-modules-languages-yaml, org-netbeans-modules-languages, org-netbeans-modules-lexer-antlr4, org-netbeans-modules-lexer-nbbridge, org-netbeans-modules-lexer, org-netbeans-modules-localhistory, org-netbeans-modules-localtasks, org-netbeans-modules-lsp-client, org-netbeans-modules-markdown, org-netbeans-modules-mercurial, org-netbeans-modules-mylyn-util, org-netbeans-modules-nativeimage-api, org-netbeans-modules-notifications, org-netbeans-modules-options-editor, org-netbeans-modules-parsing-api, org-netbeans-modules-parsing-indexing, org-netbeans-modules-parsing-lucene, org-netbeans-modules-parsing-nb, org-netbeans-modules-parsing-ui, org-netbeans-modules-print-editor, org-netbeans-modules-project-ant-compat8, org-netbeans-modules-project-ant-ui, org-netbeans-modules-project-ant, org-netbeans-modules-project-dependency, org-netbeans-modules-project-indexingbridge, org-netbeans-modules-project-libraries-ui, org-netbeans-modules-project-libraries, org-netbeans-modules-project-spi-intern-impl, org-netbeans-modules-project-spi-intern, org-netbeans-modules-projectapi-nb, org-netbeans-modules-projectapi, org-netbeans-modules-projectui-buildmenu, org-netbeans-modules-projectui, org-netbeans-modules-projectuiapi-base, org-netbeans-modules-projectuiapi, org-netbeans-modules-properties-syntax, org-netbeans-modules-properties, org-netbeans-modules-refactoring-api, org-netbeans-modules-schema2beans, org-netbeans-modules-selenium2-server, org-netbeans-modules-selenium2, org-netbeans-modules-server, org-netbeans-modules-servletapi, org-netbeans-modules-spellchecker-apimodule, org-netbeans-modules-spellchecker-bindings-htmlxml, org-netbeans-modules-spellchecker-bindings-properties, org-netbeans-modules-spellchecker-dictionary_en, org-netbeans-modules-spellchecker-kit, org-netbeans-modules-spellchecker, org-netbeans-modules-subversion, org-netbeans-modules-swing-validation, org-netbeans-modules-target-iterator, org-netbeans-modules-tasklist-kit, org-netbeans-modules-tasklist-projectint, org-netbeans-modules-tasklist-todo, org-netbeans-modules-tasklist-ui, org-netbeans-modules-team-commons, org-netbeans-modules-team-ide, org-netbeans-modules-terminal-nb, org-netbeans-modules-terminal, org-netbeans-modules-textmate-lexer, org-netbeans-modules-usersguide, org-netbeans-modules-utilities-project, org-netbeans-modules-utilities, org-netbeans-modules-versioning-core, org-netbeans-modules-versioning-indexingbridge, org-netbeans-modules-versioning-masterfs, org-netbeans-modules-versioning-system-cvss-installer, org-netbeans-modules-versioning-ui, org-netbeans-modules-versioning-util, org-netbeans-modules-versioning, org-netbeans-modules-web-browser-api, org-netbeans-modules-web-common-ui, org-netbeans-modules-web-common, org-netbeans-modules-web-indent, org-netbeans-modules-web-webkit-debugging, org-netbeans-modules-xml-axi, org-netbeans-modules-xml-catalog-ui, org-netbeans-modules-xml-catalog, org-netbeans-modules-xml-core, org-netbeans-modules-xml-jaxb-api, org-netbeans-modules-xml-lexer, org-netbeans-modules-xml-multiview, org-netbeans-modules-xml-retriever, org-netbeans-modules-xml-schema-completion, org-netbeans-modules-xml-schema-model, org-netbeans-modules-xml-tax, org-netbeans-modules-xml-text-obsolete90, org-netbeans-modules-xml-text, org-netbeans-modules-xml-tools, org-netbeans-modules-xml-wsdl-model, org-netbeans-modules-xml-xam, org-netbeans-modules-xml-xdm, org-netbeans-modules-xml, org-netbeans-modules-xsl, org-netbeans-spi-debugger-ui, org-netbeans-spi-editor-hints-projects, org-netbeans-spi-editor-hints, org-netbeans-spi-navigator, org-netbeans-spi-palette, org-netbeans-spi-tasklist, org-netbeans-spi-viewmodel, org-netbeans-swing-dirchooser, org-openidex-util, slf4j-api, slf4j-jdk14,
There are maybe transitive dependencies!

Artifact ide
Group it.unibo.tuprolog
Version 1.0.4
Last update 26. May 2024
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 22
Dependencies kotlin-stdlib-jdk8, io-lib-jvm, oop-lib-jvm, parser-theory-jvm, solve-classic-jvm, richtextfx, javafx-base, javafx-base, javafx-base, javafx-base, javafx-controls, javafx-controls, javafx-controls, javafx-controls, javafx-fxml, javafx-fxml, javafx-fxml, javafx-fxml, javafx-graphics, javafx-graphics, javafx-graphics, javafx-graphics,
There are maybe transitive dependencies!

Artifact ide
Group org.overturetool
Version 3.0.2
Last update 10. November 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

Artifact ide
Group org.apidesign.bck2brwsr
Version 0.5
Last update 26. March 2013
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

Artifact ide
Group org.mod4j.org.eclipse.ui
Version 3.5.0
Last update 14. August 2009
Organization not specified
URL Not specified
License not specified
Dependencies amount 8
Dependencies runtime, filesystem, help, ui, text, engine, metadata, core,
There are maybe transitive dependencies!

Artifact ide
Group org.eclipse.ui
Version 3.3.0-I20070620
Last update 27. November 2007
Organization not specified
URL Not specified
License Eclipse Public License - v 1.0
Dependencies amount 11
Dependencies resources, runtime, filesystem, help, ui, views, configurator, core, ui, text, forms,
There are maybe transitive dependencies!

Artifact ide
Group org.eclipse.mylyn.bugzilla
Version 2.0.0-v20070627-1400
Last update 27. November 2007
Organization not specified
URL Not specified
License Eclipse Public License - v 1.0
Dependencies amount 10
Dependencies runtime, jface, ui, core, core, ui, core, ui, forms, runtime,
There are maybe transitive dependencies!

Artifact ide
Group org.eclipse.emf.validation.ui
Version 1.0.100-v200706071520
Last update 27. November 2007
Organization not specified
URL Not specified
License Eclipse Public License - v 1.0
Dependencies amount 6
Dependencies validation, ui, ui, ide, runtime, resources,
There are maybe transitive dependencies!