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

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Try It Free

$300 Free Credits for Your Google Cloud Projects

Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.

Start Free Trial

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Try It Free

Recommended Projects

Agda
Agda is a dependently typed programming language
TypeScript
Application-scale JavaScript
SonarJS
SonarSource Static Analyzer for JavaScript and TypeScript
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