Search results for "ffi"
A polyglot document intelligence framework with a Rust core. Extract text, metadata, images, and structured information from PDFs, Office documents, images, and 91+ formats. Available for Rust, Python
A secure persistent personal agent server in Rust. One binary, sandboxed execution, multi-provider LLMs, voice, memory, Telegram, WhatsApp, Discord, Teams, and MCP tools. Secure by design, runs on you
Pragmatic AI Labs MCP Agent Toolkit - An MCP Server designed to make code with agents more deterministic
Generate fully-typed, lint-clean language bindings for Rust libraries across 11 languages
High-performance crystal structure modeling and DFT/MD file preparation. Native desktop app fusing a Rust/C++ physics kernel, a GPU-accelerated Metal/Vulkan renderer, and an AI-driven command bus for
π Simplify MCP server and AI Skills management with Ananke, a local-first desktop app that offers a visual interface for efficient configurations and monitoring.
Add formal type safety (10 levels, dependent/linear/session types) to any query language β SQL, GraphQL, Cypher, SPARQL, VQL
Make operations reversible and auditable via OblΓbenΓ½
Wrap concurrent code in Pony reference capabilities for data-race freedom
Add provably safe ethical constraints to AI agents via Phronesis
Add consent patterns and accessibility to existing code via WokeLang
Generate OTP supervision trees and fault-tolerance scaffolding
Extract state machines from code and model-check with TLA+/PlusCal
