c0mbatduckzz
/

TOMK

formal-specification

deterministic-execution

reproducibility

all-rights-reserved

no-license-granted

personal-property

Model card Files Files and versions

TOMK / src /python /tom_world

180 kB

Ctrl+K

Ctrl+K

1 contributor

History: 1 commit

c0mbatduckzz's picture

Publish WQK 0.6 formal specification, use cases and verified release (part 2)

767a051 verified about 1 month ago

__init__.py
399 Bytes
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
artifact.py
13 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
audit.py
13 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
canonical.py
1.77 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
cli.py
15.8 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
expression.py
9.23 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
grammar.py
5.75 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
indexes.py
12 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
planner.py
13 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
query.py
53 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
records.py
15.1 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
seed.py
1.94 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
store.py
26.4 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago