[](https://github.com/wiberlin/stellar_analysis/actions/workflows/test.yml) [](ht
[](https://github.com/wiberlin/stellar_analysis/actions/workflows/test.yml) [](ht
[](https://github.com/wiberlin/stellar_analysis/actions/workflows/test.yml) [](ht
Library and tools for analyzing FBASs like the Stellar network
Tara — stellar astrophysics engine for star classification, evolution, nucleosynthesis, and spectral analysis
Scout is an extensible open-source tool intended to assist Ink! and Soroban smart contract developers and auditors detect common security issues and deviations from best practices.
Scout is an extensible open-source tool intended to assist soroban smart contract developers and auditors detect common security issues and deviations from best practices.
Scout is an extensible open-source tool intended to assist soroban smart contract developers and auditors detect common security issues and deviations from best practices.
Feature extractor from noisy time series
AST-based accuracy benchmark for Soroban WASM decompiler output
Soroban WASM smart contract decompiler - reconstructs Rust source from compiled contracts
High-precision astronomy and satellite mechanics in Rust.
CLI for decompiling Soroban WASM smart contracts back to Rust source
Scout is an extensible open-source tool intended to assist Soroban smart contract developers and auditors detect common security issues and deviations from best practices.
Solar system navigation physics boundary benchmark v2.0: Saito(1977) coronal B-field multipole model, Leblanc(1998) two-component corona density, PSP-calibrated Alfven surface (12-19 R_sun), first-principles radiation-equilibrium ice lines, Chapman-Ferraro magnetopause with Juno/Cassini validation, Voyager-calibrated heliosphere termination shock (94.1 AU) and heliopause (126.6 AU). CODATA 2018 / IAU 2015 / JPL DE440.