Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / cedricrupb / cst_transform
A library for representing C programs for verifier selection with support for fast prototyping of new selectors
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cedricrupb%2Fcst_transform
Stars: 0
Forks: 1
Open Issues: 4
License: apache-2.0
Language: JavaScript
Repo Size: 6.77 MB
Dependencies:
34
Created: almost 4 years ago
Updated: over 2 years ago
Last pushed: over 1 year ago
Last synced: over 1 year ago
Topics: algortihm-selection, pytorch, verification
Files
Loading...
Readme
Loading...
Dependencies
- Flask ==1.1.1
- Flask-RESTful ==0.3.7
- Werkzeug ==0.16.0
- lmdb ==0.98
- numpy ==1.18.2
- protobuf ==3.7.1
- protobuf3 ==0.2.1
- pycparser ==2.19
- pycparserext ==2019.1
- scipy ==1.1.0
- torch-cluster ==1.4.5
- torch-geometric ==1.3.2
- torch-scatter ==1.3.2
- torch-sparse ==0.4.3
- tqdm ==4.36.1
- transformers ==2.2.2
requirements.txt
pypi
- Flask ==1.1.2
- Flask-RESTful ==0.3.8
- lmdb ==1.2.1
- networkx ==2.5.1
- pandas ==1.2.4
- protobuf ==3.15.6
- pycparser ==2.19
- pycparserext ==2020.1
- torch ==1.8.0
- torch-geometric ==1.7.0
- torch-scatter ==2.0.6
- torch-sparse ==0.6.9