Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / bensimner / starling-tool
An automatic verifier for concurrent algorithms.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bensimner%2Fstarling-tool
Fork of septract/starling-tool
Stars: 0
Forks: 0
Open Issues: 0
License: mit
Language: F#
Repo Size: 2.74 MB
Dependencies:
121
Created: almost 8 years ago
Updated: 9 months ago
Last pushed: over 1 year ago
Last synced: 9 months ago
Files
Loading...
Readme
Loading...
Dependencies
packages.config
nuget
- Chessie 0.2.2
- CommandLineParser 2.0.275-beta
- FParsec-Big-Data-Edition 1.0.2
- FSharp.Core 4.0.0.1
- NUnit 3.0.1
- z3x86win 4.3.2.1
paket.lock
nuget