Imandra

All

101 repositories

imandra-document
Public
OCaml
•0•0•0•1•Updated Nov 15, 2024Nov 15, 2024
imandrakit
Public
Core utils library for Imandra
containers ocaml moonpool
OCaml
•0•4•1•2•Updated Nov 14, 2024Nov 14, 2024
ieee-p3109
Public
IEEE P3109 Floating-point arithmetic
OCaml
•0•0•0•0•Updated Nov 11, 2024Nov 11, 2024
imandra-docs
Public
Imandra Documentation
Jupyter Notebook
•4•7•19•1•Updated Nov 7, 2024Nov 7, 2024
ocaml-gcloud
Public
OCaml bindings to Google Cloud Platform APIs
OCaml
•
MIT License
•4•25•0•0•Updated Nov 4, 2024Nov 4, 2024
fix-engine
Public
Imandra FIX Engine
formal-methods fix formal-verification fix-protocol formal verification financial-markets imandra
OCaml
•
Apache License 2.0
•3•51•2•0•Updated Oct 31, 2024Oct 31, 2024
opam-repository
Public
opam repository for AI
0•5•0•1•Updated Oct 31, 2024Oct 31, 2024
ocaml-tracy
Public
Bindings to the Tracy profiler.
ocaml bindings profiling tracy
OCaml
•
Other
•0•25•1•1•Updated Oct 29, 2024Oct 29, 2024
ocaml-opentelemetry
Public
Instrumentation for https://opentelemetry.io
metrics ocaml traces opentelemetry
OCaml
•7•33•8•1•Updated Oct 25, 2024Oct 25, 2024
ipl-vscode
Public
Imandra Protocol Language VS Code Plugin
language-server-protocol formal-methods formal-verification imandra
1•8•0•0•Updated Oct 24, 2024Oct 24, 2024
imandra-ptime
Public
IML-compatible version of the Ptime library
OCaml
•0•2•2•0•Updated Oct 23, 2024Oct 23, 2024
itr-ast
Public
JavaScript
•0•1•1•1•Updated Oct 18, 2024Oct 18, 2024
imandra-http-api-client
Public
Interact with Imandra via http from within OCaml.
OCaml
•0•2•2•1•Updated Oct 11, 2024Oct 11, 2024
tldrs
Public
Trace and Log Daemon in Rust
Rust
•
MIT License
•0•0•0•0•Updated Oct 10, 2024Oct 10, 2024
batrpc
Public
RPC framework on top of protobuf.
streaming protobuf ocaml rpc
OCaml
•0•3•0•1•Updated Sep 4, 2024Sep 4, 2024
jekyll-resources
Public
HTML
•0•0•2•1•Updated Sep 4, 2024Sep 4, 2024
ocaml-caqti
Public
Cooperative-threaded access to relational data
OCaml
•
GNU Lesser General Public License v3.0
•36•0•0•0•Updated Aug 28, 2024Aug 28, 2024
ipl-mode
Public
IPL mode for emacs
Emacs Lisp
•1•0•0•0•Updated Aug 23, 2024Aug 23, 2024
ipl-examples
Public
Imandra Protocol Language example models
finance trading formal-methods formal-verification fix-protocol automated-reasoning imandra fix-engine imandra-markets
1•11•0•0•Updated Aug 23, 2024Aug 23, 2024
imandra-stdlib
Public
Standard library for [Imandra](https://imandra.ai)
stdlib formal-methods induction imandra
Makefile
•0•5•0•1•Updated Aug 15, 2024Aug 15, 2024
ipl-ast
Public
OCaml
•0•0•0•0•Updated Aug 9, 2024Aug 9, 2024
imandra-prelude
Public
Extracted version of imandra's prelude
OCaml
•
Apache License 2.0
•1•12•0•0•Updated Jun 11, 2024Jun 11, 2024
z3
Public
private fork of z3
C++
•
Other
•0•0•0•2•Updated May 20, 2024May 20, 2024
imandra-spacemacs-layer
Public
Spacemacs layer for Imandra
Emacs Lisp
•0•0•0•0•Updated Mar 31, 2024Mar 31, 2024
melange-recharts
Public
Reason
•
MIT License
•26•0•0•0•Updated Mar 15, 2024Mar 15, 2024
bs-css
Public
Statically typed DSL for writing css in reason.
ReScript
•
ISC License
•101•0•0•1•Updated Mar 14, 2024Mar 14, 2024
catapult
Public
Tracing library for OCaml with catapult/TEF export.
ocaml tracing profiling catapult
OCaml
•0•9•0•0•Updated Jan 8, 2024Jan 8, 2024
cbor-pack
Public
OCaml library + ppx for CBOR-pack: a serialization layer with sharing on top of CBOR
serialization ocaml cbor serialization-format
OCaml
•
MIT License
•0•3•2•0•Updated Jan 5, 2024Jan 5, 2024
imandra-ai.github.io
Public
HTML
•1•0•0•3•Updated Oct 23, 2023Oct 23, 2023
Zarith
Public
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
OCaml
•
Other
•70•0•0•0•Updated Oct 9, 2023Oct 9, 2023