Releases

Safe Rust bindings to SPIRV-Cross

Firewall to use for Spider Web Crawler.

CLI to manage OAuth tokens

Embedded SpiceDB for Rust - embedded authorization using the standard gRPC API

Pimalaya toolbox for building applications

Set of I/O-free coroutines to manage OAuth flows

A Rust implementation of gRPC-GraphQL gateway - generates GraphQL execution code from gRPC services

Embedded SpiceDB for Rust - embedded authorization using the standard gRPC API

Dynamo LLM Library

Visual development environment for AI agents built with Rust Agent Development Kit (ADK-Rust)

Command-line launcher for Rust Agent Development Kit (ADK-Rust) agents

Embedded SpiceDB for Rust - embedded authorization using the standard gRPC API

A type-safe IPC layer for tauri commands

Rust SDK for SanctumAI — credential management for AI agents

Firewall to use for Spider Web Crawler.

HTTP server and A2A protocol for Rust Agent Development Kit (ADK-Rust) agents

Agent evaluation framework for ADK-Rust

Rust bindings for Tesseract OCR with cross-compilation, C++17, and caching improvements

A type-safe IPC layer for tauri commands

UniFFI bindings and FFI adapter for SLIM data plane - enables language integrations (Go, Swift, Kotlin, etc.)

The main SLIM executable.

Build Pico applications with LED panels, easy Wi-Fi, and composable device abstractions

Main service and public API to interact with SLIM data plane.

Controller service and control API to configure the SLIM data plane through the control plane.

SLIM session internal implementation.

Messaging Layer Security for SLIM data plane.

Core data plane functionality for SLIM

Observability for SLIM data plane: logs, traces and metrics infrastructure.

Configuration utilities

Standalone TUI infoview for Lean 4 theorem prover