https://github.com/idris-lang/Idris-dev

A Dependently Typed Functional Programming Language
https://github.com/idris-lang/Idris-dev

Last synced: 3 months ago
JSON representation

A Dependently Typed Functional Programming Language

• Host: GitHub
• URL: https://github.com/idris-lang/Idris-dev
• Owner: idris-lang
• License: other
• Created: 2011-09-14T16:55:49.000Z (over 13 years ago)
• Default Branch: master
• Last Pushed: 2024-08-02T13:40:34.000Z (6 months ago)
• Last Synced: 2024-10-29T15:03:58.131Z (3 months ago)
• Language: Haskell
• Homepage: http://idris-lang.org
• Size: 36.5 MB
• Stars: 3,434
• Watchers: 119
• Forks: 644
• Open Issues: 709
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE
  • Citation: CITATION.md

Awesome Lists containing this project

• my-awesome - idris-lang/Idris-dev - 08 star:3.4k fork:0.6k A Dependently Typed Functional Programming Language (Haskell)
• jimsghstars - idris-lang/Idris-dev - A Dependently Typed Functional Programming Language (Haskell)
• awesome-haskell - Idris - A Dependently Typed Functional Programming Language (Languages)

README

        
# Idris 1

[![Build Status](https://travis-ci.org/idris-lang/Idris-dev.svg?branch=master)](https://travis-ci.org/idris-lang/Idris-dev)

[![Appveyor build](https://ci.appveyor.com/api/projects/status/xi8yu81oy1134g7o/branch/master?svg=true)](https://ci.appveyor.com/project/idrislang/idris-dev)

[![Documentation Status](https://readthedocs.org/projects/idris/badge/?version=latest)](https://readthedocs.org/projects/idris/?badge=latest)

[![Hackage](https://img.shields.io/hackage/v/idris.svg)](https://hackage.haskell.org/package/idris)

[![Stackage LTS](https://stackage.org/package/idris/badge/lts)](https://stackage.org/lts/package/idris)

[![Stackage Nightly](https://stackage.org/package/idris/badge/nightly)](https://stackage.org/nightly/package/idris)

[![IRC](https://img.shields.io/badge/IRC-%23idris-1e72ff.svg?style=flat)](https://www.irccloud.com/invite?channel=%23idris&hostname=irc.freenode.net&port=6697&ssl=1)

Idris (https://idris-lang.org/) is a general-purpose functional programming

language with dependent types.

## Installation

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](https://github.com/idris-lang/Idris-dev/wiki/Installation-Instructions).

More information about building Idris from source has been detailed in the [Installation Guide](INSTALL.md)

## Code Generation

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.

More information about code generators can be found

[here](https://idris.readthedocs.io/en/latest/reference/codegen.html).

## Status

This is Idris 1, implemented in Haskell. Idris 1 is not actively

worked on anymore.

[Idris 2](https://github.com/idris-lang/Idris2) is the next generation

of Idris, and where primary development happens.

## More Information

If you would like to find out more information, or ask questions, we

currently have a [Wiki](https://github.com/idris-lang/Idris-dev/wiki);

a [mailing list](https://groups.google.com/forum/#!forum/idris-lang),

and an `IRC` channel `#idris` on [libera](https://libera.chat/). To join the IRC channel,

point your irc client to `irc.libera.chat` then `/join #idris`.

For those further interested in using Idris for projects, the

[Idris Hackers](https://github.com/idris-hackers) GitHub organisation is

where some interesting projects are being hosted.

For those interested in contributing to Idris directly we kindly ask that

prospective developers please consult the [Contributing Guide](CONTRIBUTING.md) first.