Search results for "checker"
5 results found (Rust)
A functional programming language optimized for LLM code generation. Compiles to Rust and WebAssembly.
A tool to analyze and extract information from Jinja used in dbt projects.
Local AI anywhere, for everyone — LLM inference, chat UI, voice, agents, workflows, RAG, and image generation. No cloud, no subscriptions.
Add formal type safety (10 levels, dependent/linear/session types) to any query language — SQL, GraphQL, Cypher, SPARQL, VQL
Extract state machines from code and model-check with TLA+/PlusCal