[go: up one dir, main page]

  • 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
  • Libraries
  • The Agda standard library
  • Files
The Agda standard library

The Agda standard library Files

The Agda standard library

This is an exact mirror of the The Agda standard library project, hosted at https://github.com/agda/agda-stdlib. SourceForge is not affiliated with The Agda standard library.
  • Summary
  • Files
  • Reviews

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Download Latest Version v2.3 source code.tar.gz (1.3 MB)
Email in envelope

Get an email when there's a new version of The Agda standard library

Next
Home
Name Modified Size InfoDownloads / Week
v2.3 2025-08-02
2 2 weekly downloads
v2.2 2025-01-15
2 2 weekly downloads
v2.1.1 2024-09-03
0
v2.1 2024-07-27
0
v2.0 2023-12-12
0
Totals: 5 Items   4
You Might Also Like
MongoDB Atlas runs apps anywhere Icon
MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Start Free
Planview is the leading end-to-end platform for Strategic Portfolio Management (SPM) and Digital Product Development (DPD) Icon
Planview is the leading end-to-end platform for Strategic Portfolio Management (SPM) and Digital Product Development (DPD)

Manage project and product portfolios enterprise-wide

Planview AdaptiveWork (formerly Clarizen) with embedded AI helps you proactively plan and deliver any type and size of portfolio, project, and work. Gain AI-enhanced visibility and insights, drive collaboration, and achieve better business outcomes across your organization.
Learn More
Recommended Projects
  • Agda
    Agda
    Agda is a dependently typed programming language
  • Agda 1
    Agda is a system for incrementally developing proofs and programs. This is the sourceforge project for the PREVIOUS Agda (Agda 1). A newer version of Agda (Agda 2) in beta testing is available from: http://wiki.portal.chalmers.se/agda/
  • alf
    Alf is a collection of tools for experimenting with Formal Languages. Alf is portable and easy to use. It has been developed at Politecnico di Milano.
  • LaTeX.CSS
    LaTeX.CSS
    LaTeX.css is a library that makes your website look like a LaTeX doc
  • Atom LaTeX
    Atom LaTeX
    Compile LaTeX or knitr documents from within Atom
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
© 2026 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: