Metal programming in Julia
-
Updated
Oct 6, 2026 - Julia
#
metal-framework
Here are 5 public repositories matching this topic...
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
Breadth-First Search (BFS) using Metal for GPU acceleration on macOS.
-
Updated
Feb 22, 2025 - Swift
🚀 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
Motor de búsqueda vectorial híbrido (IVF-CSR + Stream Compaction) para Apple Silicon Serie-M1. Logra un Recall@10 del 92.00% a 7.10 ms de latencia mediante álgebra de matrices dispersas (SpMV), Scratchpads UMA Zero-Copy y aceleración AMX (vDSP), optimizado bajo el límite estricto de 8GB de RAM
swift zero-copy gpu-computing spgemm rag hnsw vector-search metal-framework apple-silicon-m1 bjective-c-plus-plus
-
Updated
Oct 1, 2026 - Swift
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."