Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / NatKarmios / Gillian
The Gillian Platform main repository
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/NatKarmios%2FGillian
Fork of GillianPlatform/Gillian
Stars: 0
Forks: 0
Open Issues: 0
License: bsd-3-clause
Language: OCaml
Repo Size: 3.56 MB
Dependencies:
582
Created: over 2 years ago
Updated: about 2 years ago
Last pushed: 8 months ago
Last synced: 4 days ago
Files
Loading...
Readme
Loading...
Dependencies
- @opam/conf-gmp *
- ocaml *
.docker/Dockerfile
docker
- node latest build
Dockerfile
docker
- node latest build
.github/workflows/ci.yml
actions
- actions/cache v1 composite
- actions/checkout v2 composite
- actions/checkout v2.0.0 composite
- actions/download-artifact v1 composite
- actions/download-artifact v1.0.0 composite
- actions/setup-node v2 composite
- actions/upload-artifact v1 composite
- @types/node ^14.0.27 development
- @types/vscode ^1.49.0 development
- @typescript-eslint/eslint-plugin ^3.8.0 development
- @typescript-eslint/parser ^3.8.0 development
- eslint ^7.6.0 development
- ts-loader ^8.0.3 development
- typescript ^3.8.3 development
- vsce ^1.81.1 development
- vscode-debugadapter-testsupport ^1.43.0 development
- webpack ^4.44.1 development
- webpack-cli ^3.3.12 development
- await-notify 1.0.1
- vscode-debugadapter ^1.43.0
- gmp esy-packages/esy-gmp
- esy-gmp esy-packages/esy-gmp#e27cb300adfb0c0b320c273082c5affafcd225fa
- yarn-pkg-config esy-ocaml/yarn-pkg-config#db3a0b63883606dd57c54a7158d560d6cba8cd79
- @opam/ocamlfind *
- ocaml *