Skip to content
@pi-base

π-Base

Pinned Loading

  1. data Public

    A community database of topological counterexamples

    121 47

  2. web Public

    Code powering the π-Base

    TypeScript 7 7

Repositories

Showing 10 of 14 repositories
  • data Public

    A community database of topological counterexamples

    121 CC-BY-4.0 47 69 11 Updated Mar 26, 2025
  • dev Public

    Shared development tools for pi-base packages

    JavaScript 0 1 0 1 Updated Feb 12, 2025
  • web Public

    Code powering the π-Base

    TypeScript 7 MIT 7 38 5 Updated Feb 5, 2025
  • compile Public archive

    Compile and publish a π-base data bundle

    TypeScript 0 MIT 0 0 3 Updated Dec 6, 2023
  • viewer Public archive

    Web UI for the π-Base

    TypeScript 9 MIT 3 21 7 Updated Oct 6, 2023
  • core Public archive

    Shared data model for π-Base services

    TypeScript 1 MIT 0 0 1 Updated May 16, 2023
  • vscode Public

    VSCode editor extension

    TypeScript 0 0 1 13 Updated Apr 27, 2023
  • bell-boolean-spaces-machine Public

    Archive of Murray Bell's Boolean Spaces Machine

    Perl 0 0 0 0 Updated Mar 31, 2023
  • server Public

    a community database of topological counterexamples

    Haskell 4 1 0 1 Updated Mar 12, 2021
  • infrastructure Public

    π-base infrastructure as code

    HCL 0 0 0 0 Updated Nov 20, 2020
View all repositories