npm
Khan/perseus
Perseus is Khan Academy's exercise question editor and renderer.
MITOct 20, 2026 · metrics 2.10.0
All tags
Catalogue tag
#symbolic
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.
14 records
PyPI
devitocodes/devito
DSL and compiler framework for automated finite-differences and stencil computation
MITSep 9, 2026 · metrics 2.10.0
npm
astroautomata/SymbolicRegression.jl
Distributed High-Performance Symbolic Regression in Julia
Apache-2.0Sep 13, 2026 · metrics 2.10.0
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
NuGet
asc-community/AngouriMath
Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
MITAug 23, 2026 · metrics 2.10.0
—
SciML/SymbolicIndexingInterface.jl
A general interface for symbolic indexing of SciML objects used in conjunction with Domain-Specific Languages
MITSep 10, 2026 · metrics 2.10.0
PyPI
GongJr0/SymbolicDSGE
A first and second-order DSGE engine with a fully symbolic and modifiable model backend. Includes estimation, monte carlo pipeline costruction, and regression-based equation augmentation capabilities
MITOct 20, 2026 · metrics 2.10.0
PyPI
google/pyglove
Manipulating Python Programs
Apache-2.0Sep 13, 2026 · metrics 2.10.0
Maven · npm
tuProlog/2p-kt
A Kotlin Multi-Platform ecosystem for symbolic AI
Apache-2.0Oct 19, 2026 · metrics 2.10.0
npm
ehmicky/unix-permissions
Swiss Army knife for Unix permissions
Apache-2.0Oct 2, 2026 · metrics 2.10.0
crates.io
rust-or/good_lp
Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solvers.
MITSep 17, 2026 · metrics 2.10.0
npm
together-science/nerdamer-prime
The continued Nerdamer project
MITSep 16, 2026 · metrics 2.10.0
npm
sindresorhus/path-type
Check if a path is a file, directory, or symlink
MITSep 16, 2026 · metrics 2.10.0
PyPI
Symbulator/solver
Symbolic linear-circuit analysis engine, built on SymPy
MITSep 15, 2026 · metrics 2.10.0