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_learner05

93 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
454 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
affine.py
13.5 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
baseline.py
7.62 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
cli.py
6.92 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
handoff.py
11.9 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
io.py
1.16 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
learner.py
13.3 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
model.py
13.9 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
split.py
4.44 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
store.py
19.7 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago