| newton-submission-service cargo | | – 0.7.4 did not build | – | Durable execution journal and submitter persistence adapters | 67 | 1d ago |
| newton-enclave cargo | | – 0.7.4 did not build | – | newton prover enclave compute | 291 | 1d ago |
| newton-chain-watcher cargo | | – 0.7.4 did not build | – | newton chain watcher — smart event filter for direct on-chain tasks | 295 | 1d ago |
| RustedSciThe cargo | | – 0.4.25 did not build | – | Rust framework for symbolic and numerical computing:BVP ( Newton-Raphson frozen/damped/with collocations ), IVP( BDF, Radau, Backward Euler, LSODE, LSODA,… | 38K | 1d ago |
| rlx-fem cargo | 0.2.18 | none | none | Nonlinear scalar P1 finite elements on triangles — field-dependent coefficient, flux source, tied/periodic degrees of freedom, damped Newton. | 22 | 1d ago |
| newton-task-submission cargo | | – 0.7.4 did not build | – | Newton task submission domain and planner | 91 | 2d ago |
| newton-transporter cargo | | – 0.7.4 did not build | – | newton prover stake weights transporter | 331 | 2d ago |
| newton-aggregator cargo | | – 0.7.4 did not build | – | newton prover aggregator utils | 440 | 2d ago |
| newton-rpc-provider cargo | | – 0.7.4 did not build | – | newton instrumented eth-RPC provider factory | 248 | 2d ago |
| newton-submission-protocol cargo | 0.7.4 | none | none | Producer-neutral durable execution channel contracts | 133 | 2d ago |
| newton-state-tree cargo | 0.7.4 | none | none | Jellyfish Merkle Tree state layer with redb persistence and proof caching | 1.2K | 2d ago |
| newton-chainio cargo | | – 0.7.4 did not build | – | newton prover chainio | 669 | 2d ago |
| newton-metric cargo | | – 0.7.4 did not build | – | newton-metric | 1.0K | 2d ago |
| newton-core cargo | | – 0.7.4 did not build | – | newton protocol core sdk | 1.1K | 2d ago |
| principia cargo | 0.6.0 | none | none | Typed Newtonian numerical dynamics: state propagation, acceleration models, RK4/DOPRI5/DOP853 integrators, variational equations, STM, covariance, and… | 3.2K | 5d ago |
| fairchild-core cargo | 0.5.0 | none | none | DAE solver core for fairchild: MNA assembly, Newton-Raphson, transient/AC/noise analyses, and native photonic device models. | 12 | 6d ago |
