Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / cpitclaudel / fstar.js
F* running in the browser
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cpitclaudel%2Ffstar.js
Stars: 21
Forks: 2
Open Issues: 0
License: apache-2.0
Language: HTML
Repo Size: 265 KB
Dependencies:
12
Created: almost 7 years ago
Updated: over 1 year ago
Last pushed: almost 5 years ago
Last synced: 29 days ago
Files
Loading...
Readme
Loading...
Dependencies
lib/package.json
npm
- @types/codemirror 0.0.56 development
- @types/jquery ^3.3.1 development
- @types/mustache ^0.8.30 development
- @types/underscore ^1.8.8 development
- @types/webassembly-js-api 0.0.1 development
- typescript ^2.8.1 development
- @types/codemirror 0.0.56 development
- @types/jquery 3.3.1 development
- @types/mustache 0.8.30 development
- @types/underscore 1.8.8 development
- @types/webassembly-js-api 0.0.1 development
- typescript 2.8.1 development