o-murphy / py-ballisticcalc
LGPL library for small arms ballistic calculations based on point-mass (3 DoF) plus spin drift.
☆24Updated this week
Alternatives and similar repositories for py-ballisticcalc:
Users that are interested in py-ballisticcalc are comparing it to the libraries listed below
- A formal consistency proof of Quine's set theory New Foundations☆66Updated 3 weeks ago
- Satellite Mission Analysis and Design based on Orekit☆20Updated last year
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆13Updated this week
- xflrpy is a python enabled version of xflr5 for scripting and design optimization.☆52Updated last year
- A toolbox meant for aircraft design analyses.☆43Updated 8 months ago
- Library of satellite related functions in python☆18Updated last year
- A Rust crate with utilities to aid in LDPC code design☆19Updated this week
- NASA Open Source ION Software implementation of Delay Tolerant Networking. ION development is managed by the Jet Propulsion Lab; regressi…☆36Updated last month
- Open Source Command and Control Information System (C2IS)☆40Updated 4 months ago
- A reproducible project with over 130,000 logged Halo orbits, notebooks, and papers related to astrodynamics!☆10Updated 3 years ago
- Flight Dynamic Library☆49Updated 3 weeks ago
- open source release: LAR-19282-1 Detect and Avoid Alerting Logic for Unmanned Systems (DAIDALUS) with Dynamic Well-Clear Separation Volum…☆61Updated 7 months ago
- ADCS simulations for the AcubeSAT nanosatellite☆13Updated 2 weeks ago
- Assorted Jupyter notebooks by Daniel Estévez☆164Updated 2 weeks ago
- ☆39Updated 3 weeks ago
- A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"☆11Updated last year
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆12Updated 9 months ago
- tool for turning Lean proofs into Blender animations☆57Updated this week
- ☆43Updated 2 weeks ago
- Calculates optimum interplanetary trajectories visitng a specifed sequence of planets or other celestial bodies.☆22Updated last year
- High-rate Delay Tolerant Network (HDTN) Software☆100Updated 8 months ago
- A C++ implementation of the ECSS Packet Utilization Standard to be used aboard the AcubeSAT nanosatellite☆17Updated this week
- Beamforming & Stuff ™☆45Updated 2 months ago
- TAK-ML - A machine learning framework for use with the TAK ecosystem (specifically ATAK and TAK Server at the moment)☆51Updated last year
- easy-peasy optimal flight trajectory☆24Updated last month
- An easy to use and build-upon astrodynamics library written in Rust with Python bindings☆13Updated last year
- Default software files for PyCubed mainboard☆49Updated last year
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆46Updated last week
- Three-dimensional panel method for low-speed aerodynamics☆27Updated this week
- A Python implementation of the Apollo Entry Guidance algorithm used by NASA's MSL spacecraft☆52Updated 3 years ago