Download JAR files tagged by formal with all dependencies

fomeja from group de.uni_bremen.agra.fomeja (version 1.0.0)

Formal Methods within Java

Group: de.uni_bremen.agra.fomeja Artifact: fomeja
Show documentation Show source

0 downloads

Artifact fomeja
Group de.uni_bremen.agra.fomeja
Version 1.0.0
Last update 11. April 2016
Organization Groups of Computer Architecture, Computer Engineering/IT-Security and Reliable Embedded Systems - University of Bremen
URL https://github.com/razr69/fomeja
License GNU General Public License, v3
Dependencies amount 4
Dependencies junit, log4j, commons-lang3, z3,
There are maybe transitive dependencies!

ngs-fca from group org.nmdp.ngs (version 1.8.3)

Formal concept analysis for genomics.

Group: org.nmdp.ngs Artifact: ngs-fca
Show all versions Show documentation Show source

0 downloads

Artifact ngs-fca
Group org.nmdp.ngs
Version 1.8.3
Last update 22. June 2015
Organization not specified
URL Not specified
License not specified
Dependencies amount 4
Dependencies guava, dsh-bitset, blueprints-core, jsr305,
There are maybe transitive dependencies!

fca4j-io from group fr.lirmm.fca4j (version 0.4.4)

I/O for formal context and relational contexts family

Group: fr.lirmm.fca4j Artifact: fca4j-io
Show all versions Show documentation Show source

0 downloads

Artifact fca4j-io
Group fr.lirmm.fca4j
Version 0.4.4
Last update 07. December 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies fca4j-core, net-sf-opencsv,
There are maybe transitive dependencies!

cyphsem from group uk.ac.ed.cyphsem (version 0.4.3)

An implementation of Cypher that follows the formal semantics.

Group: uk.ac.ed.cyphsem Artifact: cyphsem
Show all versions Show documentation Show source

0 downloads

Artifact cyphsem
Group uk.ac.ed.cyphsem
Version 0.4.3
Last update 25. January 2019
Organization not specified
URL https://gitlab.com/marsault/cyphsem
License GNU General Public License v3
Dependencies amount 3
Dependencies antlr4-maven-plugin, neo4j-java-driver, jacoco-maven-plugin,
There are maybe transitive dependencies!

fcalib from group de.tu-dresden.inf.lat.fcalib (version 0.11.0)

Library for algorithms in Formal Concept Analysis.

Group: de.tu-dresden.inf.lat.fcalib Artifact: fcalib
Show documentation Show source

0 downloads

Artifact fcalib
Group de.tu-dresden.inf.lat.fcalib
Version 0.11.0
Last update 02. September 2015
Organization TU Dresden, Chair of Automata Theory
URL https://github.com/julianmendez/fcalib
License GNU Lesser General Public License version 3
Dependencies amount 1
Dependencies log4j,
There are maybe transitive dependencies!

webmonitor from group com.enniovisco (version 1.3.1)

A formal approach to monitoring web pages as spatio-temporal traces.

Group: com.enniovisco Artifact: webmonitor
Show all versions Show documentation Show source

0 downloads

Artifact webmonitor
Group com.enniovisco
Version 1.3.1
Last update 29. August 2024
Organization not specified
URL https://enniovisco.github.io/webmonitor/
License MIT License
Dependencies amount 1
Dependencies kotlin-stdlib,
There are maybe transitive dependencies!

fca4j-parent from group fr.lirmm.fca4j (version 0.4.4)

a Java toolkit for formal concept analysis purposes

Group: fr.lirmm.fca4j Artifact: fca4j-parent
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact fca4j-parent
Group fr.lirmm.fca4j
Version 0.4.4
Last update 07. December 2022
Organization Marel (LIRMM)
URL https://gite.lirmm.fr/gutierre/fca4j-project/
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

automata from group tel.schich (version 0.2.1)

A library that implements formal finite state automata.

Group: tel.schich Artifact: automata
Show all versions Show documentation Show source

0 downloads

Artifact automata
Group tel.schich
Version 0.2.1
Last update 22. April 2019
Organization not specified
URL https://schich.tel
License The MIT License (MIT)
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

despot from group de.itagile (version 0.4.0)

Despot ensures that REST-interfaces satisfy a formal specification.

Group: de.itagile Artifact: despot
Show all versions Show documentation Show source

0 downloads

Artifact despot
Group de.itagile
Version 0.4.0
Last update 31. December 2015
Organization not specified
URL https://github.com/lomin/despot
License The Apache License, Version 2.0
Dependencies amount 2
Dependencies jsr311-api, json-simple,
There are maybe transitive dependencies!

parserbase from group de.hhu.stups (version 2.13.5)

Part of the ProB Parser library

Group: de.hhu.stups Artifact: parserbase
Show all versions Show documentation Show source

0 downloads

Artifact parserbase
Group de.hhu.stups
Version 2.13.5
Last update 08. November 2024
Organization not specified
URL https://github.com/bendisposto/probparsers
License Eclipse Public License, Version 1.0
Dependencies amount 1
Dependencies prologlib,
There are maybe transitive dependencies!

Page 1 from 3 (items total 51)