standpoint

Here are 2 public repositories matching this topic...

grumlimited / geocalc

Helper classes to calculate Earth distances, bearing, etc.

java distance earth geodesy haversine meters azimuth haversine-formula vincenty bearing midpoint vincenty-formula geocalc standpoint

Updated Oct 24, 2020
Java

hyperpolymath / epistemic-types

Sponsor

Star

Constructive Agda prototype for standpoint-indexed epistemic modalities, separating knowledge (factive) from belief and warrant. Provides a tropical-graded bridge from standpoint access to echo-type residues, and a compositional proof-transport calculus with a no-smuggling guarantee across trust boundaries.

type-theory agda modal-logic attestation warranty epistemic-logic standpoint tropical-algebra echo-types proof-transport

Updated Sep 7, 2026
Agda

Add this topic to your repo

To associate your repository with the standpoint topic, visit your repo's landing page and select "manage topics."

Learn more