Record · corpus.blog/posts/01a0877b-ed16-737e-85e5-57f5545bc15a

Predicting Satellite Collisions in OCaml

Thomas Gazagnaire :: Home · published 7 April 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at gazagnaire.org Wayback capture

1blogs citing

First cited: 13 Apr 2026
Most recent: 13 Apr 2026
Rank this month: not ranked
Links from this post: 21
Words captured: 1,053

Cited by

Blog

In the post

Date

anil.recoil.org

The FP Launchpad takes off at IIT Madras Read at the source ↗

13 Apr 2026

Links from this post

Link

Host

https://space.commerce.gov/dataset-for-conjunction-assessment-verification/

space.commerce.gov

https://starlink.com/updates/stargaze

starlink.com

https://www.eusst.eu/

eusst.eu

https://www.space-track.org/

space-track.org

https://arc.aiaa.org/doi/10.2514/6.2006-6753

arc.aiaa.org

https://www.iausofa.org/

iausofa.org

https://ccsds.org/Pubs/508x0b1e2c2.pdf

ccsds.org

Describing Binary Formats in OCaml Read at the source ↗

gazagnaire.org

https://stacks.stanford.edu/file/druid:dg552pb6632/Foster-estes-parametric_analysis_of_orbital_debris_collision_probability.pdf

stacks.stanford.edu

Secure Virtual Messages in a Bottle with SCoP Read at the source ↗

tarides.com

https://ssa.space

ssa.space

https://mirageos.org/

mirageos.org

From ASPLOS to Orbit: Unikernels Twelve Years Later Read at the source ↗

gazagnaire.org

https://parsimoni.co/

parsimoni.co

https://tangled.org/gazagnaire.org/ocaml-sgp4

tangled.org

https://tangled.org/gazagnaire.org/ocaml-coordinate

tangled.org

https://tangled.org/gazagnaire.org/ocaml-cdm

tangled.org

https://tangled.org/gazagnaire.org/ocaml-collision

tangled.org

https://tangled.org/gazagnaire.org/ocaml-globe

tangled.org

https://tangled.org/gazagnaire.org/ocaml-cam

tangled.org

https://etd.gsfc.nasa.gov/capabilities/capabilities-listing/general-mission-analysis-tool-gmat/

etd.gsfc.nasa.gov