Search results for "code-generation"
A functional programming language optimized for LLM code generation. Compiles to Rust and WebAssembly.
🦀 Open-source alternative to Claude Code, built from scratch in Rust. Agentic coding CLI — thinks, plans, and executes with any LLM. Compatible with Claude Code workflows.
Generate fully-typed, lint-clean language bindings for Rust libraries across 11 languages
Add formal type safety (10 levels, dependent/linear/session types) to any query language — SQL, GraphQL, Cypher, SPARQL, VQL
Augment any database with VeriSimDB octad capabilities — drift detection, provenance, temporal versioning, modality overlays
Wrap concurrent code in Pony reference capabilities for data-race freedom
Make operations reversible and auditable via Oblíbený
Add provably safe ethical constraints to AI agents via Phronesis
Add consent patterns and accessibility to existing code via WokeLang
A pure-Rust x86-64 compiler backend with e-graph optimization as core
Generate OTP supervision trees and fault-tolerance scaffolding
Extract state machines from code and model-check with TLA+/PlusCal
LSP server leveraging LLMs for code completion (and more?)