Idris-dev Files

A Dependently Typed Functional Programming Language

This is an exact mirror of the Idris-dev project, hosted at https://github.com/idris-lang/Idris-dev. SourceForge is not affiliated with Idris-dev.

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

Name	Modified	Size	InfoDownloads / Week
v1.3.3	2020-05-23		0
Totals: 1 Item			0

Other Useful Business Software

Veeam Data Platform v13.1

Move workloads across hypervisors and clouds with no vendor lock-in. Try VDP free today.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.

Try Now

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Start Free

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Start Free

Recommended Projects

Agda
Agda is a dependently typed programming language
SonarJS
SonarSource Static Analyzer for JavaScript and TypeScript
TypeScript
Application-scale JavaScript
Babel
The compiler for writing next generation JavaScript
IDRIS
(I)nstallation (D)ata and (R)egistry (I)mage (S)entinel (IDRIS). A tool which takes snapshots of your computers Registry and Files before and after an installation in order to see exactly what has been added/changed/deleted.