We have a new release (v0.45.0) that adds grammar companion packs to the Python wheel: ten new pip-installable wheels covering ~250 tree-sitter grammars. We've also added support for a variety of audio programming languages.
github.comRelease v0.45.0 · panproto/panprotoAdded
panproto.TheoryBuilder on the Python SDK — a fluent builder mirroring SchemaBuilder and MigrationBuilder. Accumulates sorts, operations, and equational axioms via chained calls and produces...
0 reposts1 like