ecosyste.ms

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / Deducteam / personoj

People's Verification System in Dedukti

JSON API: https://data.code.gouv.fr/api/v1/hosts/GitHub/repositories/Deducteam%2Fpersonoj

Stars: 4
Forks: 2
Open issues: 1

License: other
Language: Common Lisp
Size: 743 KB
Dependencies parsed at: 9

Created at: over 5 years ago
Updated at: 2 months ago
Pushed at: 11 months ago
Last synced at: 3 days ago

.github/workflows/check_encoding.yml actions

actions/checkout v4 composite
ocaml/setup-ocaml v2 composite

.github/workflows/markdown-check-links.yml actions

actions/checkout master composite
gaurav-nelson/github-action-markdown-link-check v1 composite

.github/workflows/pvs_prelude.yml actions

actions/checkout v4 composite
actions/upload-artifact v4 composite
ocaml/setup-ocaml v2 composite

.github/workflows/translator.yml actions

actions/checkout v4 composite
actions/upload-artifact v4 composite