Similar Items: The Agda standard library: version 2.0
- The Irish Hydrometric Reference Network, Version 2.0
- Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda
- Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
- PySensors 2.0: A Python Package for Sparse Sensor Placement
- Adoption of Web 2,0 by Academic Libraries in Nigeria
- nf-core/coproID v2.0: An improved pipeline for the identification of (palaeo)faecal depositors