Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / ml4ai / funman
SKEMA Functional Model Analysis (FUNMAN)
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ml4ai%2Ffunman
Stars: 2
Forks: 2
Open Issues: 2
License: mit
Language: Jupyter Notebook
Repo Size: 26.3 MB
Dependencies:
28
Created: over 1 year ago
Updated: over 1 year ago
Last pushed: 7 months ago
Last synced: 25 days ago
Files
Loading...
Readme
Loading...
Dependencies
setup.py
pypi
- Come *
- TODO *
- jupyter *
- matplotlib *
- model2smtlib *
- numpy *
Dockerfile
docker
- ${SIFT_REGISTRY_ROOT}funman-dreal4 ${DREAL_TAG} build
deploy/api/Dockerfile
docker
- ${SIFT_REGISTRY_ROOT}${FROM_IMAGE} ${FROM_TAG} build
deploy/base/Dockerfile
docker
- ${SIFT_REGISTRY_ROOT}funman-dreal4 ${DREAL_TAG} build
deploy/git/Dockerfile
docker
- ${SIFT_REGISTRY_ROOT}funman-base ${FROM_TAG} build
deploy/pypi/Dockerfile
docker
- ${SIFT_REGISTRY_ROOT}funman-base ${FROM_TAG} build
deploy/terarium/Dockerfile
docker
- jladwigsift/funman-api-server hackathon-1 build
ibex/Dockerfile
docker
- ubuntu 20.04 build
- fastapi * development
- multiprocess * development
- openapi-python-client * development
- pysmt * development
- uvicorn * development
requirements-dev.txt
pypi
- autodoc_pydantic * development
- black * development
- build * development
- isort * development
- pre-commit * development
- pycln * development
- pytest-cov * development
- twine * development