Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / retutch / tutch
A TypeScript implementation of the TUTorial proof CHecker (Tutch).
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/retutch%2Ftutch
Stars: 2
Forks: 0
Open Issues: 0
License: gpl-3.0
Language: TypeScript
Repo Size: 744 KB
Dependencies:
603
Created: about 5 years ago
Updated: about 1 year ago
Last pushed: 7 months ago
Last synced: about 1 month ago
Commit Stats
Commits: 83
Authors: 6
Mean commits per author: 13.83
Development Distribution Score: 0.542
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/retutch/tutch
Files
Dependencies
- @types/chai ^4.2.3 development
- @types/mocha ^5.2.6 development
- @types/moo ^0.5.0 development
- @types/node ^12.7.5 development
- chai ^4.2.0 development
- coveralls ^3.0.3 development
- mkdirp ^0.5.1 development
- mocha ^6.1.3 development
- npm-run-all ^4.1.5 development
- nyc ^14.1.1 development
- prettier ^1.17.0 development
- travis ^0.1.1 development
- ts-node ^8.4.1 development
- tslint ^5.20.0 development
- typescript ^3.6.3 development
- webpack ^4.40.2 development
- @calculemus/impossible 0.0.4
- @types/nearley ^2.11.0
- moo ^0.5.0
- nearley ^2.19.0
- actions/checkout v3 composite
- coverallsapp/github-action master composite
- actions/checkout v3 composite
- actions/setup-node v3 composite
- actions/checkout v3 composite
- actionsx/prettier v2 composite