Imandra
We create groundbreaking tools that analyse algorithms, helping make them safe, fair, and transparent.
- 48 followers
- London, Austin, Edinburgh
- http://www.imandra.ai
- contact@imandra.ai
Popular repositories Loading
-
-
-
-
ocaml-opentelemetry
ocaml-opentelemetry PublicInstrumentation for https://opentelemetry.io
-
Repositories
Showing 10 of 100 repositories