Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / kenmcmil / ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kenmcmil%2Fivy
Fork of microsoft/ivy
Stars: 75
Forks: 23
Open Issues: 59
License: other
Language: C++
Repo Size: 58 MB
Dependencies:
42
Created: almost 4 years ago
Updated: 19 days ago
Last pushed: 3 days ago
Last synced: 2 days ago
Files
Dependencies
- actions/checkout v2 composite
- actions/download-artifact v2 composite
- actions/setup-python v2 composite
- actions/upload-artifact v2 composite
- hendrikmuhs/ccache-action v1 composite
- pypa/gh-action-pypi-publish release/v1 composite
- actions/checkout v2 composite
- actions/download-artifact v2 composite
- actions/setup-python v2 composite
- actions/upload-artifact v2 composite
- hendrikmuhs/ccache-action v1 composite
- pypa/gh-action-pypi-publish release/v1 composite
- VSSDK.ComponentModelHost 11.0.4 development
- VSSDK.ComponentModelHost.11 11.0.3 development
- VSSDK.CoreUtility 11.0.4 development
- VSSDK.CoreUtility.11 11.0.4 development
- VSSDK.Editor 11.0.4 development
- VSSDK.IDE 7.0.4 development
- VSSDK.IDE.11 11.0.4 development
- VSSDK.Language 11.0.4 development
- VSSDK.Language.11 11.0.4 development
- VSSDK.Shell.11 11.0.4 development
- VSSDK.Text 11.0.4 development
- VSSDK.Text.11 11.0.4 development
- VSSDK.DTE 7.0.4
- VSSDK.IDE.10 10.0.4
- VSSDK.IDE.8 8.0.4
- VSSDK.IDE.9 9.0.4
- VSSDK.OLE.Interop 7.0.4
- VSSDK.Shell.Immutable.10 10.0.4
- VSSDK.Shell.Immutable.11 11.0.4
- VSSDK.Shell.Interop 7.0.4
- VSSDK.Shell.Interop.10 10.0.4
- VSSDK.Shell.Interop.11 11.0.4
- VSSDK.Shell.Interop.8 8.0.4
- VSSDK.Shell.Interop.9 9.0.4
- VSSDK.TextManager.Interop 7.0.4
- VSSDK.TextManager.Interop.8 8.0.4