c0mbatduckzz
/

TOMK

formal-specification

deterministic-execution

reproducibility

all-rights-reserved

no-license-granted

personal-property

Model card Files Files and versions

TOMK / src /python /tomagi

175 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
270 Bytes
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
__main__.py
48 Bytes
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
canonical.py
1.7 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
cli.py
2.85 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
compiler.py
69.7 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
core.py
18.9 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
formal.py
43.6 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
format.py
2.35 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
immutable_store.py
27.7 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
knowledge.py
2.53 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
materialize.py
5.01 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago