ferrocad_py cargo not built 0.1.2 did not build PyO3 bindings exposing ferrocad_core to Python (importable as `ferrocad`) 13 2d ago mil_compile cargo 0.1.0 clean Compile .mlpackage specs to .mlmodelc: coremlc driver with structured errors; in-process CoreML.framework compile on macOS. 13 9h ago degenbot-batch-executor cargo 0.6.0-alpha.14 clean Core batch executor: the per-batch dispatch choreography — assembly, payload merge, and the ordered sim-submit lane — as one value-configured engine module. 12 17h ago mil_lint cargo 0.1.0 clean Static ANE-placement analysis for MIL graphs: predicts per-op execution unit (ANE/GPU/CPU) before compile. 12 9h ago mzizi-assurance cargo 0.3.0 clean Mzizi N8 assurance — the shared core: probes, telemetry and the OTLP exporter. 12 1d ago sealmap-extract cargo 0.2.1 clean Language-neutral extraction core for sealmap language adapters: raw flow IR, flow lowering, call aggregation, confidence policy, label rules, sym: id builder,… 12 2d ago mil_convert cargo 0.1.0 clean safetensors → MIL: config-driven transformer graph generation (Qwen-class) into .mlpackage. No Python, no coremltools. 11 9h ago mil_verify cargo 0.1.0 clean Spec inspection, deterministic protobuf diff, and a conformance battery for MIL graphs — with planted controls. 10 9h ago alhazen-gpui cargo not built 0.2.0 did not build Video player for GPUI apps, built on the alhazen-core media engine 8 1h ago dlib-rs cargo 0.1.0 clean Pure-Rust port of the core of dlib (matrix, images, ML, face detection & landmarks) 8 15h ago mil_machines cargo 0.1.0 clean Non-neural state machines compiled to stateful MIL programs: Aho-Corasick automata, EWMA scorers, mutable memory banks. Silicon a regex can live on. 8 7h ago phos-analyses cargo 0.0.0 clean Placeholder for phos-analyses, part of phos-core, the ELE Optics optical physics engine. No code yet. 8 3d ago phos-models cargo 0.0.0 clean Placeholder for phos-models, part of phos-core, the ELE Optics optical physics engine. No code yet. 8 3d ago phos-optimization cargo 0.0.0 clean Placeholder for phos-optimization, part of phos-core, the ELE Optics optical physics engine. No code yet. 8 3d ago playastation cargo not built 0.1.0 did not build A PlayStation emulator core written in Rust 8 1d ago udpstp-runtime cargo 0.0.0 clean I/O for udpstp's protocol core: sockets, clocks and the Control Phase. Placeholder: the implementation is in development and will be published here. 8 3d ago gpui-video cargo not built 0.1.0 did not build Video player element for GPUI, built on video-core 7 2d ago mho cargo not built 0.1.0 did not build A Rust port of ShellCrash - A tool for managing proxy cores like Clash/Mihomo/SingBox 7 3d ago milc cargo 0.1.0 clean CLI for the mil_spec toolchain: convert, lint, inspect, diff, compile, verify — the whole MIL pipeline in one binary. 7 8h ago smtlite cargo 0.1.0 clean A small, pure-Rust QF_BV SMT solver: bitvector expressions bit-blasted to CNF and solved by a self-contained DPLL core. 7 8h ago textloom cargo 0.1.0 clean A reusable native rich-text editing core with optional egui, winit, and AccessKit adapters 6 8h ago oneyaml cargo 1.0.0 clean oneyaml — one core, one interpretation: serde + lossless editing for YAML 1.2. 4 2d ago pollardai cargo 0.1.0 clean Experimental native Rust core for Pollard governed execution trees and verified replay 2d ago 