Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / barnslig / bachelor-thesis
My bachelor's thesis, including an experimental swarm verification model checker running on the GPU.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/barnslig%2Fbachelor-thesis
Stars: 1
Forks: 0
Open Issues: 0
License: mit
Language: Jupyter Notebook
Repo Size: 7.79 MB
Dependencies: pending
Created: almost 3 years ago
Updated: 3 months ago
Last pushed: over 2 years ago
Last synced: about 1 month ago
Topics: model-checking, swarm-verification, verification
Files
Loading...
Readme
Loading...