Data

Tools

Indexes

Applications

Experiments

Repos

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

GitHub / olivierverdier / GeometricAlgebra

Work based on http://www-sop.inria.fr/marelle/GeometricAlgebra/

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/olivierverdier%2FGeometricAlgebra
PURL: pkg:github/olivierverdier/GeometricAlgebra

Stars: 11
Forks: 4
Open issues: 0

License: mit
Language: Coq
Size: 275 KB
Dependencies parsed at: Pending

Created at: over 8 years ago
Updated at: about 1 year ago
Pushed at: over 1 year ago
Last synced at: 4 months ago

    Loading...