npm
Khan/perseus
Perseus is Khan Academy's exercise question editor and renderer.
MIT20. Okt. 2026 · Metriken 2.10.0
Alle Tags
Katalog-Tag
#symbolic
Alle Repositories im öffentlichen Register, die dieses Tag tragen — aus ihren GitHub-Topics oder den von ihren Paket-Registries veröffentlichten Schlagwörtern. Die Gesundheit wird nach derselben versionierten Methodik gemessen wie im übrigen Register.
14 Einträge
PyPI
devitocodes/devito
DSL and compiler framework for automated finite-differences and stencil computation
MIT9. Sept. 2026 · Metriken 2.10.0
npm
astroautomata/SymbolicRegression.jl
Distributed High-Performance Symbolic Regression in Julia
Apache-2.013. Sept. 2026 · Metriken 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 · Metriken 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. Aug. 2026 · Metriken 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 · Metriken 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. Okt. 2026 · Metriken 2.10.0
PyPI
google/pyglove
Manipulating Python Programs
Apache-2.013. Sept. 2026 · Metriken 2.10.0
Maven · npm
tuProlog/2p-kt
A Kotlin Multi-Platform ecosystem for symbolic AI
Apache-2.019. Okt. 2026 · Metriken 2.10.0
npm
ehmicky/unix-permissions
Swiss Army knife for Unix permissions
Apache-2.02. Okt. 2026 · Metriken 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 · Metriken 2.10.0
npm
together-science/nerdamer-prime
The continued Nerdamer project
MIT16. Sept. 2026 · Metriken 2.10.0
npm
sindresorhus/path-type
Check if a path is a file, directory, or symlink
MIT16. Sept. 2026 · Metriken 2.10.0
PyPI
Symbulator/solver
Symbolic linear-circuit analysis engine, built on SymPy
MIT15. Sept. 2026 · Metriken 2.10.0