Skip to content

@pi-base π-Base

Change the repository type filter

All

    Repositories list

    14 repositories

    • data

      Public
      A community database of topological counterexamples
      topologymath
      Creative Commons Attribution 4.0 International
      •24•72•47•2•Updated Oct 24, 2024Oct 24, 2024

    • web

      Public
      Code powering the π-Base
      typescripttopologymathsvelte
      TypeScript
      •
      MIT License
      •5•5•27•7•Updated Oct 22, 2024Oct 22, 2024

    • compile

      Public
      Compile and publish a π-base data bundle
      typescripttopologymath
      TypeScript
      •
      MIT License
      •0•0•0•3•Updated Dec 6, 2023Dec 6, 2023

    • viewer

      Public
      Web UI for the π-Base
      topologymathtypescript
      TypeScript
      •
      MIT License
      •3•9•21•7•Updated Oct 6, 2023Oct 6, 2023

    • core

      Public archive
      Shared data model for π-Base services
      typescripttopologymath
      TypeScript
      •
      MIT License
      •0•1•0•1•Updated May 16, 2023May 16, 2023

    • vscode

      Public
      VSCode editor extension
      TypeScript
      •0•0•1•13•Updated Apr 27, 2023Apr 27, 2023

    • bell-boolean-spaces-machine

      Public
      Archive of Murray Bell's Boolean Spaces Machine
      Perl
      •0•0•0•0•Updated Mar 31, 2023Mar 31, 2023

    • dev

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

    • server

      Public
      a community database of topological counterexamples
      topology
      Haskell
      •1•4•0•1•Updated Mar 12, 2021Mar 12, 2021

    • infrastructure

      Public
      π-base infrastructure as code
      HCL
      •0•0•0•0•Updated Nov 20, 2020Nov 20, 2020

    • contributing

      Public
      README for contributors/reviewers
      1•0•1•0•Updated Mar 7, 2019Mar 7, 2019

    • test-data

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

    • util

      Public
      Toolbelt of miscellaneous testing and development utilities
      Ruby
      •0•1•0•0•Updated Sep 5, 2018Sep 5, 2018

    • editor

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