Usage data
Papyrus has been compiling usage data since August 25, 2009. This data excludes log entries from search engines. Usage data is available at the repository level and for each community, collection and document.
Title:
A Compiler for the dependently typed language Beluga
Handle:
Document downloads
Total item page views
| Total | 687 |
Document downloads and item page views in last 12 months
| April 2023 | May 2023 | June 2023 | July 2023 | August 2023 | September 2023 | October 2023 | November 2023 | December 2023 | January 2024 | February 2024 | March 2024 | April 2024 |
| 0 | 1 | 2 | 1 | 2 | 2 | 3 | 4 | 1 | 3 | 0 | 5 | 2 |
| April 2023 | May 2023 | June 2023 | July 2023 | August 2023 | September 2023 | October 2023 | November 2023 | December 2023 | January 2024 | February 2024 | March 2024 | April 2024 |
| 3 | 9 | 3 | 0 | 6 | 4 | 7 | 6 | 13 | 2 | 5 | 10 | 3 |
Document downloads
Document downloads by country
| United States | 222 |
| Germany | 145 |
| Canada | 65 |
| China | 35 |
| France | 19 |
| Australia | 12 |
| Ukraine | 8 |
| United Kingdom | 7 |
| India | 6 |
| Russia | 6 |
| Brazil | 5 |
| Netherlands | 5 |
| Argentina | 4 |
| Ireland | 4 |
| Czechia | 3 |
Top 15 countries appear in table
Item page views
Item page views by country
| United States | 404 |
| Canada | 78 |
| France | 65 |
| China | 35 |
| Ireland | 13 |
| Germany | 8 |
| Netherlands | 7 |
| Finland | 6 |
| Russia | 5 |
| United Kingdom | 4 |
| Vietnam | 4 |
| Belgium | 3 |
| India | 3 |
| Mexico | 3 |
| Austria | 2 |
Top 15 countries appear in table