semvec/pypi-packages huggingface dataset:
pytracking-cdm 0.2.0
Processing eyetracking data for sequence analysis
License: MIT
Requires Python: >=3.10,<3.12

# pytracking_cdm
Package for internal use at the Center for Data and Methods. It contains tools for doing sequence analysis on eyetracking fixation data.


## Documentation
Documentation can be found [here](https://pytracking-cdm.onrender.com/)

## Contribute
More Info [here](CONTRIBUTE.md)
ms-ivy 1.8.25
IVy verification tool
License: MIT

# ivy

IVy is a research tool intended to allow interactive development of
protocols and their proofs of correctness and to provide a platform
for developing and experimenting with automated proof techniques. In
particular, IVy provides interactive visualization of automated
proofs, and supports a use model in which the human protocol designer
and the automated tool interact to expose errors and prove
correctness.

## Further Reading

For further information on IVy, see [the IVy web site](http://kenmcmil.github.io/ivy/).