[go: up one dir, main page]
Download statistics available since 2025-09-04 (when this project was registered).
  • Join/Login
  • Business Software
  • Open Source Software
  • For Vendors
  • Blog
  • About
  • More
    • Articles
    • Create
    • SourceForge Podcast
    • Site Documentation
    • Subscribe to our Newsletter
    • Support Request
SourceForge logo
For Vendors Help Create Join Login
SourceForge logo
Business Software
Open Source Software
SourceForge Podcast
Resources
  • Articles
  • Case Studies
  • Blog
Menu
  • Help
  • Create
  • Join
  • Login
  • Home
  • Open Source Software
  • Software Development
  • Programming Languages
  • Agda
  • Download Statistics
Agda

Agda

Agda is a dependently typed programming language

This is an exact mirror of the Agda project, hosted at https://github.com/agda/agda. SourceForge is not affiliated with Agda. For more information, see the SourceForge Open Source Mirror Directory.
  • Summary
  • Files
  • Reviews

  • Downloads

    10 2025-09-04 to 2025-11-11

  • Countries

    Top: DE, at 90%

  • Operating Systems

    Top: Other, at 90%

Download Statistics

All Files / v2.8.0 (Change File)
Choose file or folder to view its reporting
Daily Weekly Monthly
View Data
Download as CSV
Last Updated: < 3 hours ago. Download Stats API
SourceForge
  • Create a Project
  • Open Source Software
  • Business Software
  • Top Downloaded Projects
Company
  • About
  • Team
  • SourceForge Headquarters
    1320 Columbia Street Suite 310
    San Diego, CA 92101
    +1 (858) 422-6466
Resources
  • Support
  • Site Documentation
  • Site Status
  • SourceForge Reviews
SourceForge logo
© 2025 Slashdot Media. All Rights Reserved.
Terms Privacy Privacy Choices Advertise
×
Thanks for helping keep SourceForge clean.
X

Briefly describe the problem (required):
Upload screenshot of ad (required):
Select a file, or drag & drop file here.
✔
✘
Screenshot instructions:

Click URL instructions:
Right-click on the ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies

Ad destination/click URL: