freshcrate — Search

Search results for "compile-time"

8 results found (Rust)

edgecrab 📁v0.8.0🌱 Seedling⭐38

EdgeCrab 🦀 A Super Powerful Personal Assistant inspired by NousHermes and OpenClaw — Rust-native, blazing-fast terminal UI, ReAct tool loop, multi-provider LLM support, ACP protocol, gateway adapters

agentic-ai ai-agent autonomous-agent cli llm mcp nous-hermes openclaw rustby raphaelmansuyRust

almide 📁v0.15.0🌱 Seedling⭐15

A functional programming language optimized for LLM code generation. Compiles to Rust and WebAssembly.

code-generation compiler functional-programming llm programming-language rust webassemblyby almideRust

meerkat 📁v0.5.2🌱 Seedling⭐7

Meerkat - A modular, high-performance agent harness built in Rust.

agentic ai ai-agents claude claude-code cli codex codex-cli rustby lukacfRust

tools-rs 📁0.3.3🌱 Seedling⭐7

Serialize your functions with tools-rs!

ai function-calling llm llm-agent llm-framework rustby EggerMarcRust

hrafn 📁master@2026-04-18🌱 Seedling⭐2

Lightweight, modular AI agent runtime — thinks (Hrafn) and remembers (MuninnDB) 🐦‍⬛

a2a-protocol agent-framework ai-agent autonomous-agent llm local-first mcp openclaw-alternative rustby 5queezerRust

verisimiser 📁main@2026-04-18🌱 Seedling⭐1

Augment any database with VeriSimDB octad capabilities — drift detection, provenance, temporal versioning, modality overlays

code-generation database hyperpolymath idris2 iser lineage palimpsest provenance rustby hyperpolymathRust

typedqliser 📁main@2026-04-18🌱 Seedling⭐1

Add formal type safety (10 levels, dependent/linear/session types) to any query language — SQL, GraphQL, Cypher, SPARQL, VQL

code-generation formal-verification hyperpolymath idris2 iser palimpsest query-languages rust sqlby hyperpolymathRust

ponyiser 📁main@2026-04-18🌱 Seedling⭐1

Wrap concurrent code in Pony reference capabilities for data-race freedom

code-generation concurrency data-race-freedom hyperpolymath idris2 iser palimpsest pony rustby hyperpolymathRust