space-mining

Here are 3 public repositories matching this topic...

AEjonanonymous / Goodbye-to-phi

Replacing the Galvani Potential with a Boltzmann Geometric State Equation for Next-Gen Battery Operation and Reduced-Gravity Molten Salt Electrolysis. (Lean 4 and Python)

python-library equation-of-state comparator electrodynamics poisson-equation electrochemistry interactive-theorem-proving mathlib in-situ-resource-utilization academic-research lean4 boltzmann-distribution space-mining galvani-potential principle-of-superposition convolution-integral geometric-coupling-constant next-gen-battery molten-salt-electrolysis

Updated Oct 4, 2026
Lean

Devanik21 / ISRO-SPACE-MINING-App

Star

Space resource exploration Streamlit app — spectral reflectance mineral mapping, regolith composition modelling, extraction feasibility scoring, and surface heatmaps.

machine-learning computer-vision deep-learning neural-networks satellite-imagery isro streamlit space-mining multi-spectral-classification mineral-detection

Updated Mar 15, 2026
Jupyter Notebook

api-evangelist / astroforge

Star

AstroForge — independent third-party profile of a public API surface, by API Evangelist. AstroForge is a commercial space startup founded in 2022 and based in Huntington Beach, California, focused on asteroid mining and the in-space extraction and refining of platinum group metals and other critical minerals.

company space aerospace deep-space apis-json asteroid-mining critical-minerals space-mining frontier-tech

Updated Oct 4, 2026

Add this topic to your repo

To associate your repository with the space-mining topic, visit your repo's landing page and select "manage topics."

Learn more