- Category
- Developer Tools
- Rank
- No. 3289Tools index
- Pricing
- Open Source
- Type
- TOOL
- Latest release
- v0.19.1
- Date
About
An open-source, statically typed, compiled functional programming language influenced by the ML family, designed for programs written by agents under human supervision. It integrates SMT and related solvers with the compiler's type system for formal methods, and offers MCP and skills support. It targets numerical and mathematically rich domains such as quant finance, with experimental GPU support for AMD and Apple hardware. It is built in Rust.
Tags
programming-languageai-agentsformal-methodsrustnumericalmcp
Tech Stack
Rust
Comments (0)
No comments yet
Editorially curated, with community endorsements as a secondary signal. Corrections welcome.