Skip to content

@regina-normal Regina

Change the repository type filter

All

    Repositories list

    3 repositories

    • regina

      Public
      The main source code for Regina
      C++
      •
      Other
      •14•33•23•7•Updated Oct 16, 2024Oct 16, 2024

    • aux

      Public
      Packaging files and other auxiliary data
      Shell
      •0•0•0•0•Updated Oct 12, 2024Oct 12, 2024

    • regina-normal.github.io

      Public
      Sources for Regina's main website
      HTML
      •0•0•1•0•Updated Oct 12, 2024Oct 12, 2024