Skip to content
@flight-earth

flight-earth

README.md

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

  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
  • .github Public
    flight-earth/.github’s past year of commit activity
    0 CC0-1.0 0 0 0 Updated Sep 24, 2024
  • auxillary-sphere Public

    Geodesy solutions in Rust

    flight-earth/auxillary-sphere’s past year of commit activity
    Rust 0 MPL-2.0 0 0 0 Updated Sep 11, 2024
  • oblate-spheroid Public

    Geodesy solutions in Lean

    flight-earth/oblate-spheroid’s past year of commit activity
    Lean 0 MPL-2.0 0 0 0 Updated Apr 4, 2024
  • flight-earth Public

    Geodesy solutions in Haskell

    flight-earth/flight-earth’s past year of commit activity
    Haskell 0 0 0 0 Updated Mar 17, 2024
  • coriolis-effect Public

    Geodesy solutions in Koka

    flight-earth/coriolis-effect’s past year of commit activity
    0 MPL-2.0 0 0 0 Updated Oct 25, 2021
  • flat-earth Public

    Geodesy solutions in Unison

    flight-earth/flat-earth’s past year of commit activity
    0 MPL-2.0 0 0 0 Updated Oct 14, 2021
  • meridian-arc Public

    Geodesy solutions in F#

    flight-earth/meridian-arc’s past year of commit activity
    F# 1 MPL-2.0 0 1 0 Updated Dec 7, 2020

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…