npm
Khan/perseus
Perseus is Khan Academy's exercise question editor and renderer.
MIT20 oct 2026 · métricas 2.10.0
Todas las etiquetas
Etiqueta del catálogo
#symbolic
Todos los repositorios del registro público que llevan esta etiqueta, procedente de sus topics de GitHub o de las palabras clave que publican sus registros de paquetes. La salud se mide con la misma metodología versionada que el resto del registro.
14 registros
PyPI
devitocodes/devito
DSL and compiler framework for automated finite-differences and stencil computation
MIT9 sept 2026 · métricas 2.10.0
npm
astroautomata/SymbolicRegression.jl
Distributed High-Performance Symbolic Regression in Julia
Apache-2.013 sept 2026 · métricas 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.018 sept 2026 · métricas 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.
MIT23 ago 2026 · métricas 2.10.0
—
SciML/SymbolicIndexingInterface.jl
A general interface for symbolic indexing of SciML objects used in conjunction with Domain-Specific Languages
MIT10 sept 2026 · métricas 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
MIT20 oct 2026 · métricas 2.10.0
PyPI
google/pyglove
Manipulating Python Programs
Apache-2.013 sept 2026 · métricas 2.10.0
Maven · npm
tuProlog/2p-kt
A Kotlin Multi-Platform ecosystem for symbolic AI
Apache-2.019 oct 2026 · métricas 2.10.0
npm
ehmicky/unix-permissions
Swiss Army knife for Unix permissions
Apache-2.02 oct 2026 · métricas 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.
MIT17 sept 2026 · métricas 2.10.0
npm
together-science/nerdamer-prime
The continued Nerdamer project
MIT16 sept 2026 · métricas 2.10.0
npm
sindresorhus/path-type
Check if a path is a file, directory, or symlink
MIT16 sept 2026 · métricas 2.10.0
PyPI
Symbulator/solver
Symbolic linear-circuit analysis engine, built on SymPy
MIT15 sept 2026 · métricas 2.10.0