Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
proxy.golang.org "symbolic" keyword
Top 6.6% on proxy.golang.org
4 versions - Latest release: almost 3 years ago - 20 stars on GitHub
github.com/go-air/reach v0.1.3 💰
Package reach contains finite state symbolic reachability libraries and tools. All reachability ...4 versions - Latest release: almost 3 years ago - 20 stars on GitHub
Top 8.2% on proxy.golang.org
343 versions - Latest release: 23 days ago - 1,167 stars on GitHub
github.com/SciML/ModelingToolkit.jl v9.13.0+incompatible
An acausal modeling framework for automatically parallelized scientific machine learning (SciML) ...343 versions - Latest release: 23 days ago - 1,167 stars on GitHub
Top 8.2% on proxy.golang.org
343 versions - Latest release: 23 days ago - 1,167 stars on GitHub
github.com/sciml/modelingtoolkit.jl v9.13.0+incompatible
An acausal modeling framework for automatically parallelized scientific machine learning (SciML) ...343 versions - Latest release: 23 days ago - 1,167 stars on GitHub
Top 4.5% on proxy.golang.org
6 versions - Latest release: 9 months ago - 1 dependent package - 1 dependent repositories - 353 stars on GitHub
github.com/corywalker/expreduce v0.0.0-20230907212013-190864c3b50e
An experimental computer algebra system written in Go6 versions - Latest release: 9 months ago - 1 dependent package - 1 dependent repositories - 353 stars on GitHub
Related Keywords
computer-algebra
3
pde
2
ordinary-differential-equations
2
optimization
2
ode
2
nonlinear-programming
2
julia
2
equation-based
2
differential-equations
2
delay-differential-equations
2
dde
2
dae
2
acausal
2
scientific-machine-learning
2
sciml
2
sde
2
stochastic-differential-equations
2
symbolic-computation
2
symbolic-numerics
2
calculus
1
cas
1
language
1
verification
1
simulation
1
safety
1
pdr
1
model-checking
1
ic3
1
go
1
circuit
1
bmc
1