Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / runtime-monitoring / explanator2
Explanator2 is an online monitor that produces verdicts in the form of explanations for Metric Temporal Logic formulas.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/runtime-monitoring%2Fexplanator2
Stars: 1
Forks: 0
Open Issues: 0
License: lgpl-3.0
Language: Isabelle
Repo Size: 20 MB
Dependencies:
1,291
Created: over 3 years ago
Updated: 7 months ago
Last pushed: 8 months ago
Last synced: 4 months ago
Topics: isabelle, ocaml, runtime-monitoring, runtime-verification
Files
Dependencies
- @babel/cli ^7.17.6 development
- gh-pages ^3.2.3 development
- @emotion/react ^11.7.1
- @emotion/styled ^11.6.0
- @mui/icons-material ^5.3.0
- @mui/material ^5.3.0
- @mui/x-data-grid ^5.3.0
- @testing-library/jest-dom ^5.16.1
- @testing-library/react ^12.1.2
- @testing-library/user-event ^13.5.0
- react ^17.0.2
- react-dom ^17.0.2
- react-markdown ^8.0.3
- react-router-dom ^6.3.0
- react-scripts ^5.0.0
- react-table ^7.7.0
- rehype-raw ^6.1.1
- web-vitals ^2.1.3