Metal programming in Julia
-
Updated
Jul 8, 2026 - Julia
#
metal-framework
Here are 5 public repositories matching this topic...
Breadth-First Search (BFS) using Metal for GPU acceleration on macOS.
-
Updated
Feb 22, 2025 - Swift
Verified quantum computing in Lean 4 with FFI bridge to Apple Silicon (Metal 3). Full NISQ stack, dependent types, formal circuit verification, and mathematical translators to Hamiltonians for autonomous AI.
quantum-computing riemann formal-verification autonomous-agents qaoa vqe metal-framework apple-silicon lean4 hodge tijdeman
-
Updated
Jul 4, 2026 - Lean
🚀 3.3B Mamba-MoE running on Mac Mini M4 16GB! Breakthrough deployment of Concept models on consumer Apple Silicon via NF4 quantization & QLoRA. Pushing limits of on-device AI.
swift-language mixture-of-experts metal-framework apple-silicon qlora mamba-architecture nf4-quantization
-
Updated
Jan 27, 2026 - Swift
Improve this page
Add a description, image, and links to the metal-framework topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the metal-framework topic, visit your repo's landing page and select "manage topics."