Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / agra-uni-bremen / guix-symex
A Guix channel for reproducible symbolic execution research
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agra-uni-bremen%2Fguix-symex
Stars: 0
Forks: 0
Open Issues: 0
License: gpl-3.0
Language: Scheme
Repo Size: 149 KB
Dependencies:
0
Created: 4 months ago
Updated: 4 days ago
Last pushed: 4 days ago
Last synced: 4 days ago
Topics: guix, klee, reproducible-research, software-testing, symbolic-execution
Files
Loading...
Readme
Loading...
No dependencies found