Skip to content
Change the repository type filter

All

    Repositories list

    • data

      Public
      A community database of topological counterexamples
      Creative Commons Attribution 4.0 International
      2572569Updated Nov 18, 2024Nov 18, 2024
    • web

      Public
      Code powering the π-Base
      TypeScript
      MIT License
      55274Updated Nov 15, 2024Nov 15, 2024
    • compile

      Public
      Compile and publish a π-base data bundle
      TypeScript
      MIT License
      0003Updated Dec 6, 2023Dec 6, 2023
    • viewer

      Public
      Web UI for the π-Base
      TypeScript
      MIT License
      39217Updated Oct 6, 2023Oct 6, 2023
    • core

      Public archive
      Shared data model for π-Base services
      TypeScript
      MIT License
      0101Updated May 16, 2023May 16, 2023
    • vscode

      Public
      VSCode editor extension
      TypeScript
      00113Updated Apr 27, 2023Apr 27, 2023
    • Archive of Murray Bell's Boolean Spaces Machine
      Perl
      0000Updated Mar 31, 2023Mar 31, 2023
    • dev

      Public
      Shared development tools for pi-base packages
      JavaScript
      1000Updated Apr 1, 2021Apr 1, 2021
    • server

      Public
      a community database of topological counterexamples
      Haskell
      1401Updated Mar 12, 2021Mar 12, 2021
    • π-base infrastructure as code
      HCL
      0000Updated Nov 20, 2020Nov 20, 2020
    • README for contributors/reviewers
      1010Updated Mar 7, 2019Mar 7, 2019
    • test-data

      Public
      A copy of pi-base/test used for automated testing
      Creative Commons Attribution 4.0 International
      0000Updated Jan 12, 2019Jan 12, 2019
    • util

      Public
      Toolbelt of miscellaneous testing and development utilities
      Ruby
      0100Updated Sep 5, 2018Sep 5, 2018
    • editor

      Public
      Electron app for local editing of the data repository
      JavaScript
      0000Updated Mar 11, 2017Mar 11, 2017