Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

repo1.maven.org "isabelle" keyword

info.hupel:pide-2019-RC4_2.12 1.1.0-RC3
pide2019-RC4
1 version - Latest release: almost 5 years ago - 38 stars on GitHub
info.hupel:pide-2014_2.12.0-M2 0.1.2
pide2014
3 versions - Latest release: over 8 years ago - 38 stars on GitHub
info.hupel:pide-2018-RC1_2.11 1.0.0-RC2
pide2018-RC1
1 version - Latest release: almost 6 years ago - 38 stars on GitHub
info.hupel:libisabelle_2.12 1.0.1
libisabelle
23 versions - Latest release: over 5 years ago - 1 dependent package - 38 stars on GitHub
info.hupel:libisabelle-docs_2.12 1.0.1
docs
23 versions - Latest release: over 5 years ago - 38 stars on GitHub
info.hupel:pide-2016-1_2.10 0.8.3
pide2016-1
9 versions - Latest release: almost 7 years ago - 38 stars on GitHub
info.hupel:pide-package_2.12.0-RC2 0.6.1
pidePackage
2 versions - Latest release: over 7 years ago - 2 dependent packages - 38 stars on GitHub
info.hupel:pide-2016_2.10 0.8.3
pide2016
21 versions - Latest release: almost 7 years ago - 38 stars on GitHub
info.hupel:pide-interface_2.12 1.0.1
pideInterface
23 versions - Latest release: over 5 years ago - 16 dependent packages - 38 stars on GitHub
info.hupel:pide-2017_2.11 1.0.1
pide2017
10 versions - Latest release: over 5 years ago - 38 stars on GitHub
info.hupel:pide-2018-RC2_2.12 1.0.0-RC3
pide2018-RC2
1 version - Latest release: almost 6 years ago - 38 stars on GitHub
info.hupel:pide-2016-1_2.11 0.9.3
pide2016-1
13 versions - Latest release: almost 6 years ago - 38 stars on GitHub
info.hupel:pide-package_2.10 0.8.3
pidePackage
15 versions - Latest release: almost 7 years ago - 3 dependent packages - 38 stars on GitHub
info.hupel:pide-2018-RC0_2.12 1.0.0-RC2
pide2018-RC0
2 versions - Latest release: almost 6 years ago - 38 stars on GitHub
info.hupel:pide-2019-RC4_2.11 1.1.0-RC3
pide2019-RC4
1 version - Latest release: almost 5 years ago - 38 stars on GitHub
info.hupel:pide-2017_2.12 1.0.1
pide2017
10 versions - Latest release: over 5 years ago - 38 stars on GitHub
info.hupel:pide-2014_2.10 0.2.3
pide2014
7 versions - Latest release: over 8 years ago - 38 stars on GitHub
info.hupel:pide-2015_2.12.0-M2 0.1.2
pide2015
3 versions - Latest release: over 8 years ago - 38 stars on GitHub
info.hupel:pide-package_2.12 1.0.1
pidePackage
23 versions - Latest release: over 5 years ago - 2 dependent packages - 38 stars on GitHub
info.hupel:libisabelle-cli_2.11 0.3.4
cli
8 versions - Latest release: about 8 years ago - 38 stars on GitHub
info.hupel:pide-2016-1-RC2_2.10 0.6.3
pide2016-1-RC2
3 versions - Latest release: over 7 years ago - 38 stars on GitHub
info.hupel:pide-interface_2.12.0-M2 0.1.2
pideInterface
3 versions - Latest release: over 8 years ago - 4 dependent packages - 38 stars on GitHub
info.hupel:pide-2016-1-RC1_2.12.0-RC2 0.6.1
pide2016-1-RC1
2 versions - Latest release: over 7 years ago - 38 stars on GitHub
info.hupel:pide-2018-RC1_2.12 1.0.0-RC2
pide2018-RC1
1 version - Latest release: almost 6 years ago - 38 stars on GitHub
info.hupel:libisabelle-docs_2.12.0-RC2 0.6.1
docs
2 versions - Latest release: over 7 years ago - 38 stars on GitHub
info.hupel:libisabelle-docs_2.11 1.0.1
docs
40 versions - Latest release: over 5 years ago - 38 stars on GitHub
info.hupel:libisabelle-setup_2.12 1.0.1
setup
23 versions - Latest release: over 5 years ago - 2 dependent packages - 38 stars on GitHub
info.hupel:libisabelle-setup_2.12.0-M2 0.1.2
setup
3 versions - Latest release: over 8 years ago - 38 stars on GitHub
info.hupel:pide-2019-RC0_2.11 1.1.0-RC2
pide2019-RC0
1 version - Latest release: about 5 years ago - 38 stars on GitHub
info.hupel:pide-dependencies_2.11 1.0.0-RC1
pideDependencies
1 version - Latest release: almost 6 years ago - 3 dependent packages - 38 stars on GitHub
info.hupel:pide-2015_2.10 0.3.4
pide2015
15 versions - Latest release: about 8 years ago - 38 stars on GitHub
info.hupel:pide-2018-RC4_2.11 1.0.0-RC3
pide2018-RC4
1 version - Latest release: almost 6 years ago - 38 stars on GitHub
info.hupel:pide-dependencies_2.12 1.0.0-RC1
pideDependencies
1 version - Latest release: almost 6 years ago - 3 dependent packages - 38 stars on GitHub
info.hupel:pide-2018-RC2_2.11 1.0.0-RC3
pide2018-RC2
1 version - Latest release: almost 6 years ago - 38 stars on GitHub
info.hupel:pide-2016-1_2.12 0.9.3
pide2016-1
13 versions - Latest release: about 6 years ago - 38 stars on GitHub
info.hupel:pide-2018-RC0_2.11 1.0.0-RC2
pide2018-RC0
2 versions - Latest release: almost 6 years ago - 38 stars on GitHub
info.hupel:libisabelle_2.12.0-M2 0.1.2
libisabelle
3 versions - Latest release: over 8 years ago - 1 dependent package - 38 stars on GitHub
info.hupel:multi-isabelle 0.1.4
multi-isabelle
5 versions - Latest release: about 5 years ago - 1 dependent package - 0 stars on GitHub
info.hupel:pide-2016_2.12.0-RC2 0.6.1
pide2016
2 versions - Latest release: over 7 years ago - 38 stars on GitHub
info.hupel:libisabelle_2.10 0.8.3
libisabelle
28 versions - Latest release: almost 7 years ago - 1 dependent package - 38 stars on GitHub
info.hupel:pide-2018-RC3_2.11 1.0.0-RC3
pide2018-RC3
1 version - Latest release: almost 6 years ago - 38 stars on GitHub
info.hupel:pide-2016-RC0_2.10 0.2.3
pide2016-RC0
2 versions - Latest release: over 8 years ago - 38 stars on GitHub
info.hupel:pide-package_2.11 1.0.1
pidePackage
27 versions - Latest release: over 5 years ago - 3 dependent packages - 38 stars on GitHub
info.hupel:pide-interface_2.12.0-RC2 0.6.1
pideInterface
2 versions - Latest release: over 7 years ago - 6 dependent packages - 38 stars on GitHub
info.hupel:libisabelle_2.11 1.0.1
libisabelle
40 versions - Latest release: over 5 years ago - 1 dependent package - 38 stars on GitHub
info.hupel:pide-2018-RC3_2.12 1.0.0-RC3
pide2018-RC3
1 version - Latest release: almost 6 years ago - 38 stars on GitHub
info.hupel:libisabelle-cli_2.10 0.3.4
cli
8 versions - Latest release: about 8 years ago - 38 stars on GitHub
info.hupel:pide-2019-RC0_2.12 1.1.0-RC2
pide2019-RC0
1 version - Latest release: about 5 years ago - 38 stars on GitHub
info.hupel:libisabelle-docs_2.10 0.8.3
docs
28 versions - Latest release: almost 7 years ago - 38 stars on GitHub
info.hupel:libisabelle-setup_2.10 0.8.3
setup
28 versions - Latest release: almost 7 years ago - 3 dependent packages - 38 stars on GitHub
info.hupel:pide-2016-1-RC2_2.12.0-RC2 0.6.1
pide2016-1-RC2
1 version - Latest release: over 7 years ago - 38 stars on GitHub
info.hupel:libisabelle-setup_2.12.0-RC2 0.6.1
setup
2 versions - Latest release: over 7 years ago - 2 dependent packages - 38 stars on GitHub
info.hupel:pide-2018_2.11 1.0.1
pide2018
6 versions - Latest release: over 5 years ago - 38 stars on GitHub
info.hupel:pide-interface_2.10 0.8.3
pideInterface
28 versions - Latest release: almost 7 years ago - 10 dependent packages - 38 stars on GitHub
info.hupel:pide-2016_2.12 0.9.3
pide2016
15 versions - Latest release: about 6 years ago - 38 stars on GitHub
info.hupel:pide-2014_2.11 0.2.3
pide2014
7 versions - Latest release: over 8 years ago - 38 stars on GitHub
info.hupel.afp:afp-2018 2.1.20190603
afp2018
5 versions - Latest release: almost 5 years ago - 2 stars on GitHub
info.hupel:pide-2015_2.11 0.3.4
pide2015
15 versions - Latest release: about 8 years ago - 38 stars on GitHub
info.hupel.afp:afp-2016-1 1.1.20180703
afp2016_1
15 versions - Latest release: almost 6 years ago - 2 stars on GitHub
info.hupel:pide-2018_2.12 1.0.1
pide2018
6 versions - Latest release: over 5 years ago - 38 stars on GitHub
info.hupel:classy 0.2.2
classy
12 versions - Latest release: about 5 years ago - 4 dependent packages - 0 stars on GitHub
info.hupel:isabellectl_2.11 1.0.1
cli
25 versions - Latest release: over 5 years ago - 38 stars on GitHub
info.hupel:pide-interface_2.11 1.0.1
pideInterface
40 versions - Latest release: over 5 years ago - 19 dependent packages - 38 stars on GitHub
info.hupel:libisabelle_2.12.0-RC2 0.6.1
libisabelle
2 versions - Latest release: over 7 years ago - 1 dependent package - 38 stars on GitHub
info.hupel:libisabelle-setup_2.11 1.0.1
setup
40 versions - Latest release: over 5 years ago - 3 dependent packages - 38 stars on GitHub
info.hupel.afp:afp-2017 2.1.20190603
afp2017
15 versions - Latest release: almost 5 years ago - 2 stars on GitHub
info.hupel.afp:afp-2019 2.1.20190603
afp2019
1 version - Latest release: almost 5 years ago - 2 stars on GitHub
info.hupel:isabellectl_2.12 1.0.1
cli
23 versions - Latest release: over 5 years ago - 38 stars on GitHub
info.hupel:isabellectl_2.12.0-RC2 0.6.1
cli
2 versions - Latest release: over 7 years ago - 38 stars on GitHub
info.hupel:pide-2016-RC0_2.11 0.2.3
pide2016-RC0
2 versions - Latest release: over 8 years ago - 38 stars on GitHub
info.hupel:pide-2016-1-RC1_2.11 0.6.3
pide2016-1-RC1
4 versions - Latest release: over 7 years ago - 38 stars on GitHub
info.hupel:isabellectl_2.10 0.8.3
cli
13 versions - Latest release: almost 7 years ago - 38 stars on GitHub
info.hupel:pide-2016_2.11 0.9.3
pide2016
25 versions - Latest release: almost 6 years ago - 38 stars on GitHub
info.hupel:pide-2016-1-RC1_2.12 0.6.3
pide2016-1-RC1
2 versions - Latest release: over 7 years ago - 38 stars on GitHub
info.hupel:pide-2016-1-RC2_2.12 0.6.3
pide2016-1-RC2
2 versions - Latest release: over 7 years ago - 38 stars on GitHub
info.hupel:pide-2016-1-RC2_2.11 0.6.3
pide2016-1-RC2
3 versions - Latest release: over 7 years ago - 38 stars on GitHub
info.hupel.afp:afp-2016 1.1.20180703
afp2016
15 versions - Latest release: almost 6 years ago - 2 stars on GitHub
info.hupel:pide-2016-1-RC1_2.10 0.6.3
pide2016-1-RC1
4 versions - Latest release: over 7 years ago - 38 stars on GitHub
de.unruh:scala-isabelle_2.12 0.4.2
This library allows to control an Isabelle process (https://isabelle.in.tum.de/) from a Scala pro...
12 versions - Latest release: 8 months ago - 29 stars on GitHub
info.hupel:libisabelle-docs_2.12.0-M2 0.1.2
docs
3 versions - Latest release: over 8 years ago - 38 stars on GitHub
info.hupel:pide-2018-RC4_2.12 1.0.0-RC3
pide2018-RC4
1 version - Latest release: almost 6 years ago - 38 stars on GitHub
de.unruh:scala-isabelle_2.13 0.4.2
This library allows to control an Isabelle process (https://isabelle.in.tum.de/) from a Scala pro...
13 versions - Latest release: 8 months ago - 1 dependent repositories - 29 stars on GitHub
Related Keywords
scala 75 sbt 5 theorem-proving 2