Morphic v0.4.0 — LLM + Templates + Z3

🎉 Morphic v0.4.0

What is Morphic?

A self-synthesizing programming language. You write WHAT. The compiler writes HOW.

🆕 What is New

v0.3 — LLM Integration

• Ollama client for local AI code generation (privacy-first, no API key)
• OpenAI + Anthropic backends for remote LLM
• Prompt engineering: specs → structured synthesis prompts
• Multi-format output parser (markdown fences, XML blocks, raw code)

v0.4 — Template Library

• 9 algorithmic patterns: divide-conquer, binary search, two-pointer, sliding window, fold, iterator chain, linear scan, memoization, simple compute
• Spec shape detection: auto-select matching pattern
• IRNode::Index for collection access in IR

v0.2 — Z3 Formal Verification

• Real Z3 FFI via z3 crate v0.20 (prebuilt binary, no cmake)
• Per-constraint verification with counterexample extraction
• Bundled Z3: zero setup, cargo build just works

Documentation

• GUIDE.md: beginner tutorial
• LANGUAGE_REFERENCE.md: complete 15-section language spec
• ARCHITECTURE.md: full compiler pipeline

📊 Stats

• 31 files, ~10,000 lines of Rust
• 25 tests, 0 failures
• 13 commits
• 5 target languages: Rust, C, WASM, Python, JavaScript

🚀 Quick Start

git clone https://github.com/thvtzy/morphic
cd morphic
cargo build --release
morphic init hello && cd hello
morphic build main.morph --target rust

🔮 Next

• v0.5: Self-hosting (Morphic in Morphic)
• v0.6: WASM playground

Binary releases are being built by CI and will appear here shortly.