Skip to content

@erdos-network erdos network

Change the repository type filter

All

    Repositories list

    5 repositories

    • erdos-graph-proofs

      Public
      Verus specifications and proofs for Erdos Graphs
      Rust
      •
      Apache License 2.0
      •0•1•0•0•Updated Apr 5, 2026Apr 5, 2026

    • erdos-graph

      Public
      Explore the academic graph of Erdos numbers and co-authorship lineage.
      Rust
      •
      Apache License 2.0
      •0•6•3•0•Updated Mar 18, 2026Mar 18, 2026

    • erdos-graph-web

      Public
      The UI for Erdos Graph
      TypeScript
      •
      Apache License 2.0
      •0•0•0•0•Updated Mar 13, 2026Mar 13, 2026

    • erdos-network.github.io

      Public
      Erdos Network Website
      HTML
      •
      MIT License
      •0•0•0•0•Updated Oct 31, 2025Oct 31, 2025

    • .github

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