Idris‑dev is the development version of Idris 1, a general-purpose functional programming language featuring full dependent types, designed for writing type-safe programs and proofs within the language itself. It compiles to C and JavaScript (for Node.js and browsers), and supports code generation via substitute backends. This repository represents the latest development version of the language, and may contain bugs that are being actively worked on. For those who wish to use a more stable version of Idris please consider installing the latest version that has been released on Hackage. Installation instructions for various platforms can be found on the Idris Wiki. Idris has support for external code generators. Supplied with the distribution is a C code generator to compile executables, and a JavaScript code generator with support for node.js and browser JavaScript.

Features

  • Full dependent types allowing values to appear in types
  • Totality checking to ensure functions are complete and terminating
  • Code generators for C and JavaScript (browser and Node.js)
  • Supports external backends (e.g., JVM, CIL, LLVM) via community contributions
  • Strong type-driven development inspired by proof assistants like Agda and Coq
  • Actively maintained in parallel with Idris 2 development

Project Samples

Idris-dev Screenshot 1

Project Activity

See All Activity >

Categories

Programming Languages

License

MIT License

Follow Idris-dev

Idris-dev Web Site

Other Useful Business Software
Parasoft: Automated Testing to Deliver Superior Quality Software Icon
Parasoft: Automated Testing to Deliver Superior Quality Software

Parasoft provides test automation for every phase of the software development life cycle.

Parasoft helps organizations continuously deliver high-quality software with its AI-powered software testing platform and automated test solutions. Supporting the embedded, enterprise, and IoT markets, Parasoft’s proven technologies reduce the time, effort, and cost of delivering secure, reliable, and compliant software by integrating everything from deep code analysis and unit testing to web UI and API testing, plus service virtualization and complete code coverage, into the delivery pipeline. Bringing all this together, Parasoft’s award-winning reporting and analytics dashboard provides a centralized view of quality, enabling organizations to deliver with confidence and succeed in today’s most strategic ecosystems and development initiatives—security, safety-critical, Agile, DevOps, and continuous testing.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Idris-dev!

Additional Project Details

Operating Systems

Linux, Mac, Windows

Programming Language

Haskell

Related Categories

Haskell Programming Languages

Registered

2025-09-04
Report inappropriate content