pi-base

Pinned Repositories

compile
Compile and publish a π-base data bundle
Language:TypeScript0 2 10
contributing
README for contributors/reviewers
0 2 11
core
Shared data model for π-Base services
Language:TypeScript1 1 90
data
A community database of topological counterexamples
72 11 15524
editor
Electron app for local editing of the data repository
Language:JavaScript0 1 00
server
a community database of topological counterexamples
Language:Haskell4 2 161
test-data
A copy of pi-base/test used for automated testing
0 2 00
util
Toolbelt of miscellaneous testing and development utilities
Language:Ruby1 2 00
viewer
Web UI for the π-Base
Language:TypeScript9 3 693
web
Code powering the π-Base
Language:TypeScript5 2 545

pi-base's Repositories

pi-base/data
A community database of topological counterexamples
72 11 15524
pi-base/viewer
Web UI for the π-Base
Language:TypeScript9 3 693
pi-base/web
Code powering the π-Base
Language:TypeScript5 2 545
pi-base/server
a community database of topological counterexamples
Language:Haskell4 2 161
pi-base/core
Shared data model for π-Base services
Language:TypeScript1 1 90
pi-base/util
Toolbelt of miscellaneous testing and development utilities
Language:Ruby1 2 00
pi-base/compile
Compile and publish a π-base data bundle
Language:TypeScript0 2 10
pi-base/contributing
README for contributors/reviewers
0 2 11
pi-base/dev
Shared development tools for pi-base packages
Language:JavaScript0 2 01
pi-base/editor
Electron app for local editing of the data repository
Language:JavaScript0 1 00
pi-base/infrastructure
π-base infrastructure as code
Language:HCL0 2 00
pi-base/test-data
A copy of pi-base/test used for automated testing
0 2 00
pi-base/bell-boolean-spaces-machine
Archive of Murray Bell's Boolean Spaces Machine
Language:Perl
pi-base/vscode
VSCode editor extension
Language:TypeScript2 1