ecosyste.ms

Repos

An open API service providing repository metadata for many open source software ecosystems.

git.lacl.fr / barbot / Cosmos

Cosmos Statistical Model Checker

JSON API: https://repos.data.code.gouv.fr/api/v1/hosts/git.lacl.fr/repositories/barbot%2FCosmos

Stars: 3
Forks: 0
Open issues:

License: gpl-3.0
Language:
Dependencies parsed at: 44

Created at: almost 9 years ago
Updated at: 11 months ago
Pushed at: 11 months ago
Last synced at: 12 months ago

docker/Dockerfile docker

debian bullseye build

src/syn/sumo-toolbox_DDD/lib/wekafiles/packages/LibSVM/pom.xml maven

nz.ac.waikato.cms.weka:weka-dev [3.7.1,)
tw.edu.ntu.csie:libsvm [3.1,)
junit:junit 3.8.2 test
nz.ac.waikato.cms.weka:weka-dev [3.7.1,) test

src/syn/sumo-toolbox_DDD/lib/wekafiles/packages/RBFNetwork/pom.xml maven

nz.ac.waikato.cms.weka:weka-dev [3.7.6,)
junit:junit 3.8.2 test
nz.ac.waikato.cms.weka:weka-dev [3.7.6,) test

src/syn/sumo-toolbox_DDD/lib/wekafiles/packages/SMOTE/pom.xml maven

nz.ac.waikato.cms.weka:weka-dev [3.7.1,)
junit:junit 3.8.2 test
nz.ac.waikato.cms.weka:weka-dev [3.7.1,) test

src/syn/sumo-toolbox_DDD/lib/wekafiles/packages/alternatingDecisionTrees/pom.xml maven

nz.ac.waikato.cms.weka:weka-dev [3.7.1,)
junit:junit 3.8.2 test
nz.ac.waikato.cms.weka:weka-dev [3.7.1,) test

src/syn/sumo-toolbox_DDD/lib/wekafiles/packages/clojureClassifier/pom.xml maven

net.mikera:clojure-utils 0.2.3
nz.ac.waikato.cms.weka:weka-dev [3.7.1,)
org.clojure:clojure 1.5.1
junit:junit 3.8.2 test
nz.ac.waikato.cms.weka:weka-dev [3.7.1,) test

src/syn/sumo-toolbox_DDD/lib/wekafiles/packages/conjunctiveRule/pom.xml maven

nz.ac.waikato.cms.weka:weka-dev [3.7.1,)
junit:junit 3.8.2 test
nz.ac.waikato.cms.weka:weka-dev [3.7.1,) test

src/syn/sumo-toolbox_DDD/lib/wekafiles/packages/extraTrees/pom.xml maven

src/syn/sumo-toolbox_DDD/lib/wekafiles/packages/gridSearch/pom.xml maven

nz.ac.waikato.cms.weka:partialLeastSquares [1.0.0,)
nz.ac.waikato.cms.weka:weka-dev [3.7.1,)
junit:junit 3.8.2 test
nz.ac.waikato.cms.weka:weka-dev [3.7.1,) test

src/syn/sumo-toolbox_DDD/lib/wekafiles/packages/kernelLogisticRegression/pom.xml maven

nz.ac.waikato.cms.weka:weka-dev [3.7.6,)
junit:junit 3.8.2 test
nz.ac.waikato.cms.weka:weka-dev [3.7.6,) test

src/syn/sumo-toolbox_DDD/lib/wekafiles/packages/metaCost/pom.xml maven

nz.ac.waikato.cms.weka:weka-dev [3.7.1,)
junit:junit 3.8.2 test
nz.ac.waikato.cms.weka:weka-dev [3.7.1,) test

src/syn/sumo-toolbox_DDD/lib/wekafiles/packages/multiInstanceFilters/pom.xml maven

nz.ac.waikato.cms.weka:weka-dev [3.7.8,)
junit:junit 3.8.2 test
nz.ac.waikato.cms.weka:weka-dev [3.7.8,) test

src/syn/sumo-toolbox_DDD/lib/wekafiles/packages/multiLayerPerceptrons/pom.xml maven

nz.ac.waikato.cms.weka:weka-dev [3.7.6,)
junit:junit 3.8.2 test
nz.ac.waikato.cms.weka:weka-dev [3.7.6,) test

src/syn/sumo-toolbox_DDD/lib/wekafiles/packages/oneClassClassifier/pom.xml maven

nz.ac.waikato.cms.weka:weka-dev [3.7.1,)
junit:junit 3.8.2 test
nz.ac.waikato.cms.weka:weka-dev [3.7.1,) test

src/syn/sumo-toolbox_DDD/lib/wekafiles/packages/optics_dbScan/pom.xml maven

nz.ac.waikato.cms.weka:weka-dev [3.7.1,)
junit:junit 3.8.2 test
nz.ac.waikato.cms.weka:weka-dev [3.7.1,) test