Imandra
We create groundbreaking tools that analyse algorithms, helping make them safe, fair, and transparent.
- 79 followers
- London, Austin, Edinburgh
- http://www.imandra.ai
- contact@imandra.ai
Pinned Loading
Repositories
Showing 10 of 113 repositories
- imandrax-tools Public
imandra-ai/imandrax-tools’s past year of commit activity - imandra-ai.github.io Public
imandra-ai/imandra-ai.github.io’s past year of commit activity - jekyll-resources Public
imandra-ai/jekyll-resources’s past year of commit activity - tree-sitter-iml Public
imandra-ai/tree-sitter-iml’s past year of commit activity
Most used topics
Loading…