Skip to content
@flight-earth

flight-earth

A set of solutions to geodesy problems in various programming languages; in Haskell, F#, Unison, Koka, Lean, and Rust.

The Direct or Forward Problem

  • {x} The departure point on the ellipsoid.
  • {α₁} The azimuth from the departure point.
  • {s} The distance to the arrival point.

Given the above inputs, find:

  • {y} The arrival point.
  • {α₂} The azimuth at the arrival point.

The Inverse or Reverse Problem1

  • {x} The departure point.
  • {y} The arrival point.

Given the above inputs, find:

  • {s} The distance between departure and arrival points.
  • {α₁} The azimuth at the departure point.
  • {α₂} The azimuth at the arrival point.

Footnotes

  1. Sometimes called the indirect problem.

Pinned Loading

  1. flight-earth flight-earth Public

    Geodesy solutions in Haskell

    Haskell 1

  2. meridian-arc meridian-arc Public

    Geodesy solutions in F#

    F# 1

  3. flat-earth flat-earth Public

    Geodesy solutions in Unison

  4. coriolis-effect coriolis-effect Public

    Geodesy solutions in Koka

  5. oblate-spheroid oblate-spheroid Public

    Geodesy solutions in Lean

    Lean

  6. auxillary-sphere auxillary-sphere Public

    Geodesy solutions in Rust

    Rust

Repositories

Showing 7 of 7 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…