Movatterモバイル変換

Imandra

We create groundbreaking tools that analyse algorithms, helping make them safe, fair, and transparent.

Verified

We've verified that the organizationimandra-ai controls the domains:

Showing 10 of 111 repositories

imandrax-api Public
API for imandrax
imandra-ai/imandrax-api’s past year of commit activity
OCaml 10 11 (2 issues need help) 5 UpdatedNov 5, 2025
tree-sitter-iml Public
imandra-ai/tree-sitter-iml’s past year of commit activity
C0MIT0 3 0 UpdatedNov 5, 2025
ocaml-opentelemetry Public
Instrumentation forhttps://opentelemetry.io
imandra-ai/ocaml-opentelemetry’s past year of commit activity
OCaml 44 12 10 (3 issues need help) 1 UpdatedNov 4, 2025
imandra-100-theorems Public
Imandra proofs of the Top 100 Theorems
imandra-ai/imandra-100-theorems’s past year of commit activity
OCaml 10 0 0 UpdatedOct 28, 2025
fix-engine Public
Imandra FIX Engine
imandra-ai/fix-engine’s past year of commit activity
OCaml 53Apache-2.0 3 2 1 UpdatedOct 28, 2025
imandra-docs Public
Imandra Documentation
imandra-ai/imandra-docs’s past year of commit activity
Jupyter Notebook 7 3 19 2 UpdatedOct 28, 2025
tldrs Public
Trace and Log Daemon in Rust
imandra-ai/tldrs’s past year of commit activity
Rust0MIT0 0 0 UpdatedOct 27, 2025
ieee-p3109 Public
IEEE P3109 Floating-point arithmetic
imandra-ai/ieee-p3109’s past year of commit activity
TypeScript 1 1 0 0 UpdatedOct 24, 2025
imandrakit Public
Core utils library for Imandra
imandra-ai/imandrakit’s past year of commit activity
OCaml 40 1 3 UpdatedOct 22, 2025
imandra-ai.github.io Public
imandra-ai/imandra-ai.github.io’s past year of commit activity
HTML0 1 0 3 UpdatedOct 8, 2025