Imandra
We create groundbreaking tools that analyse algorithms, helping make them safe, fair, and transparent.
- 86 followers
- London, Austin, Edinburgh
- https://www.imandra.ai
- contact@imandra.ai
Pinned Loading
Repositories
Showing 10 of 121 repositories
- imandrax-tools Public
- ponens Public
Turn an AI coding agent's session into a higher-level reasoning record — curated, verifiable, and governed by computable best-practice policies.
- tree-sitter-iml Public
- kubernetes Public Forked from kubernetes/kubernetes
Production-Grade Container Scheduling and Management
- ocaml-gcloud-src Public
Top languages
Loading…
Most used topics
Loading…