Go library for accessing the Bluemix API
- bluemix
- golang
- sdk
- cloud-foundry
Repository Index
87,075 visible repositories in the index
73–79 of 79 · Most stars
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
A GitHub Action that analyses a Pull Request and adds unit tests if necessary / possible
Cold storage that queries like hot storage. High-ratio JSONL compressor with block-level random access. Query cold storage in seconds — no restore, no full decompression. 5–13% ratio on JSONL logs, 25–57% smaller than gzip. 1-hour window via DuckDB in under 6s. Free for personal and open-source use.
An actionscript library for accessing Amazon's AWS DynamoDB
VertaaUX CLI — UX, accessibility, and conversion audits from the terminal (npm: @vertaaux/cli)
- a11y
- accessibility
- axe-core
- ci-cd
GitHub Action: screenshot two URLs and post a visual diff as a PR comment. Free visual regression testing.
- ci-cd
- github-actions
- puppeteer
- screenshot-diff