Loom: A Compiler for Agentic Workflows (Go, Python, Rust)
Compile-time validation catches broken agent transitions before runtime.
Universal Stochastic Computing Framework for Neuromorphic Hardware — Rust SIMD engine, Python simulation, Verilog RTL, HDC/VSA, SCPN integration
They ship a Rust engine plus Python models that claim cycle-exact, bit-true equivalence with Verilog and a verified co-simulation suite — and back it with a 512× speedup and sub-10µs inference numbers. This is a rare, technically ambitious toolkit for building and proving neuromorphic FPGA/CPU stacks, though the AGPL license and narrow domain mean it’s primarily valuable to hardware teams and researchers, not casual ML users.
Neuromorphic researchers, FPGA/embedded hardware engineers, systems/ML researchers working on stochastic computing and low‑latency inference
Key highlights: - 512.4× real-time speedup on LIF neuron updates (vs. legacy Python) - Bit-true equivalence with FPGA hardware (verified co-simulation, 8/8 tests) - Polymorphic engine: HDC/VSA (AVX-512), Petri Nets, fault-tolerant logic - Sub-10 µs inference latency, 40%+ bit-flip resilience - Install: pip install sc-neurocore-engine - Quick start: see notebooks/01_hdc_symbolic_query.ipynb (HDC demo)
GitHub: https://github.com/anulum/sc-neurocore Rust API docs: https://anulum.github.io/sc-neurocore
Built to bridge Python simulation and hardware deployment for neuromorphic computing. Happy to answer questions about the compiler, benchmarks, or verification.
Compile-time validation catches broken agent transitions before runtime.
This repo compiles stochastic Petri-net control policies into sub-millisecond spiking LIF networks and pairs them with reduced-order plasma simulators and Rust acceleration — not something you see every day. It ships validation against real equilibria/shot databases and a Streamlit dashboard, so the project feels like a serious research-to-prototype pipeline rather than paper-only ideas; the tradeoff is deliberate reduced-order physics (not a TRANSP/GENE replacement), which is fair for real-time control work.
Formal verification for LLM workflows—CTL model checking, Z3 proofs, zero hallucination math.
Genetic algorithm evolves x86 kernels; runs 80B MoE on single GPU with CPU offload.
C runtime + Python metaprogramming: pointer math and manual memory in Python syntax.
Linear types and LLVM IR bring C-level safety to Python syntax.