Similar Items: pyfive: A pure-Python HDF5 reader
- Are there Hilbert-style Pure Type Systems?
- Pure Nash Equilibria in Concurrent Deterministic Games
- A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
- A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
- Refl-Spanners: A Purely Regular Approach to Non-Regular Core Spanners
- A Python API for OTTER