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
Parent folder
Release 1.3.3 source code.tar.gz	2020-05-23	2.4 MB	0
Release 1.3.3 source code.zip	2020-05-23	3.0 MB	0
Totals: 2 Items		5.4 MB	0

Other Useful Business Software

Try Google Cloud Risk-Free With $300 in Credit

No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.

Start Free

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

MongoDB Atlas runs apps anywhere

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

Start Free

Recommended Projects

Idris 2
A purely functional programming language with first class types
TypeScript
Application-scale JavaScript
Babel
The compiler for writing next generation JavaScript
JsBarcode
Barcode generation library written in JavaScript
Gaigen 2.5
Gaigen 2.5 is the latest version of the Gaigen software. It is code generator for geometric algebra. Currently supported languages are C, C++, C# and Java. Matlab support is under development.

Idris-dev Files

A Dependently Typed Functional Programming Language

Get an email when there's a new version of Idris-dev