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

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Try Free

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

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

Recommended Projects

Agda
Agda is a dependently typed programming language
TypeScript
Application-scale 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.
Babel
The compiler for writing next generation JavaScript
JsBarcode
Barcode generation library written in JavaScript

Idris-dev Files

A Dependently Typed Functional Programming Language

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