GitHub action to set up PHP with extensions, php.ini configuration, coverage drivers, and various tools.
- php
- github-actions
- php-extensions
- code-coverage
Repository Index
47,133 repositories indexed
1–9 of 9 · Most stars
:1234: Bits, bytes and general-purpose calculator
- storage
- storage-unit-converter
- command-line
- standalone
Grunt plugin to interact with AWS S3 using the AWS SDK
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Conflict-free merge for DataFrames, JSON, ML models & distributed agents — powered by CRDTs. The first merge library where every operation is mathematically guaranteed to converge.
- collaborative-editing
- conflict-resolution
- crdt
- data-engineering
Docker images of coq-mathcomp [maintainer=?]