Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/formalsec/instrumentation2

Last synced: 9 days ago
JSON representation

Host: GitHub
URL: https://github.com/formalsec/instrumentation2
Owner: formalsec
License: gpl-3.0
Created: 2023-11-02T09:58:18.000Z (about 1 year ago)
Default Branch: main
Last Pushed: 2024-07-16T13:15:48.000Z (6 months ago)
Last Synced: 2024-11-07T04:07:27.920Z (about 2 months ago)
Language: OCaml
Size: 70.3 KB
Stars: 0
Watchers: 3
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md
- License: LICENSE

Awesome Lists containing this project

README

        # Instrumentation2 [![Build](https://github.com/formalsec/instrumentation2/actions/workflows/build.yml/badge.svg)](https://github.com/formalsec/instrumentation2/actions/workflows/build.yml) [![Coverage Status](https://coveralls.io/repos/github/formalsec/instrumentation2/badge.svg)](https://coveralls.io/github/formalsec/instrumentation2)