PyPI
devitocodes/devito
DSL and compiler framework for automated finite-differences and stencil computation
MITOct 25, 2026 · metrics 2.10.0
All tags
Catalogue tag
#sympy
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.
3 records
PyPI · npm · crates.io +1
QWED-AI/qwed-verification
Open-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state before production execution.
Apache-2.0Sep 18, 2026 · metrics 2.10.0
PyPI
Symbulator/solver
Symbolic linear-circuit analysis engine, built on SymPy
MITSep 15, 2026 · metrics 2.10.0