Imandra
We create groundbreaking tools that analyse algorithms, helping make them safe, fair, and transparent.
- 50 followers
- London, Austin, Edinburgh
- http://www.imandra.ai
- [email protected]
Popular repositories Loading
-
-
-
-
ocaml-opentelemetry
ocaml-opentelemetry PublicInstrumentation for https://opentelemetry.io
-
Repositories
Showing 10 of 101 repositories
- imandra-document Public
imandra-ai/imandra-document’s past year of commit activity