LGPL library for small arms ballistic calculations based on point-mass (3 DoF) plus spin drift.
☆56May 29, 2026Updated last week
Alternatives and similar repositories for py-ballisticcalc
Users that are interested in py-ballisticcalc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- R package to analyze shot group data: shape, precision, and accuracy☆10Aug 7, 2025Updated 10 months ago
- Implementation of the graphplan algorithm and plangraph data structure written in rust☆15Jul 7, 2020Updated 5 years ago
- open source differentiable geometry engine☆25Jun 17, 2024Updated last year
- query based meshing on top of GMSH☆36Feb 20, 2026Updated 3 months ago
- FRODO's loyal companion, ground station software for the Sting flight computer☆20Nov 4, 2025Updated 7 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- My Agda stuff☆13May 31, 2026Updated last week
- Base Formality libraries☆10Mar 4, 2019Updated 7 years ago
- 🦀 Rust crate for reading ogawa alembic cache data☆14Apr 6, 2025Updated last year
- Use Deadline as a celery worker, and intermix Deadline and celery tasks.☆16Sep 11, 2017Updated 8 years ago
- ☆13Jul 8, 2024Updated last year
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- Simple IRC Bot for flooding☆11Sep 12, 2011Updated 14 years ago
- BLE Interface for Reticulum Network☆44Jan 18, 2026Updated 4 months ago
- This program converts any text/markup document into the micron format, which can then be used by a reticlum page server/node.☆13Jul 11, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- super tiny implementation of higher-order logic proof assistant in lean☆22Sep 29, 2019Updated 6 years ago
- Coq solutions to exercises in HoTT book☆12Jan 31, 2014Updated 12 years ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆16Jan 23, 2024Updated 2 years ago
- A toy ELF parser/validator☆16Dec 18, 2024Updated last year
- Elaboration with inductive types☆16Jun 1, 2023Updated 3 years ago
- wine for 9☆16Oct 29, 2022Updated 3 years ago
- A combinator reduction engine that accepts syntax for lambda expressions and is optimal. Rebase pending. That will affect forks. Downstre…☆12Mar 31, 2024Updated 2 years ago
- ☆17Feb 20, 2024Updated 2 years ago
- Describe Toki Pona using Grammatical Framework☆12Jun 5, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A fornalisation of Grobner basis in ssreflect☆12Jan 29, 2026Updated 4 months ago
- Fork of https://crates.io/crates/ftp with tokio async support☆26Aug 19, 2023Updated 2 years ago
- ☆14Jun 7, 2024Updated 2 years ago
- Open source, tiny and powerful image and sequence viewer library☆18Feb 12, 2026Updated 3 months ago
- Symbolic computation package for Go☆10Mar 15, 2025Updated last year
- Topos theory in Lean 4☆18Feb 10, 2025Updated last year
- HoTT Book formalisations in Rzk.☆22Dec 15, 2023Updated 2 years ago
- Release version 0.2 of OpenFcst☆16Apr 8, 2015Updated 11 years ago
- Functional Lenses in C++☆21Jul 31, 2011Updated 14 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Formalization of 2LTT in Agda☆18Aug 6, 2025Updated 10 months ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆75Feb 1, 2026Updated 4 months ago
- Driver for the USBD peripheral in nRF microcontrollers☆23Nov 28, 2025Updated 6 months ago
- The Cubicle model checker☆14May 29, 2026Updated last week
- Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Dec 17, 2018Updated 7 years ago
- Toy web rendering engine in haskell☆34Oct 12, 2015Updated 10 years ago
- A computer algebra system in Smalltalk☆12Sep 5, 2025Updated 9 months ago