Skip to content

@MathNetwork Astrolabe

Change the repository type filter

All

    Repositories list

    4 repositories

    • OpenGA

      Public
      A public, open initiative to build Riemannian geometry into a living, machine-verified textbook — a shared foundation anyone can learn from, contribute to, reus…
      Lean
      •
      Apache License 2.0
      •6•7•16•0•Updated Jul 14, 2026Jul 14, 2026

    • Astrolabe

      Public
      A desktop reader for astrolabe.json — content-addressable knowledge networks with higher-dimensional semantic structures. Plugin-based analysis and visualizatio…
      TypeScript
      •
      GNU Affero General Public License v3.0
      •0•4•1•0•Updated Jul 3, 2026Jul 3, 2026

    • .github

      Public
      0•0•0•0•Updated Jun 30, 2026Jun 30, 2026

    • mathlib-network

      Public
      Python
      •
      MIT License
      •1•5•0•0•Updated Apr 24, 2026Apr 24, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.