https://github.com/idris-lang/Idris-dev
A Dependently Typed Functional Programming Language
https://github.com/idris-lang/Idris-dev
Last synced: 7 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 (about 14 years ago)
- Default Branch: master
- Last Pushed: 2024-08-02T13:40:34.000Z (over 1 year ago)
- Last Synced: 2024-10-29T15:03:58.131Z (about 1 year 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 - 02 star:3.5k 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
[](https://travis-ci.org/idris-lang/Idris-dev)
[](https://ci.appveyor.com/project/idrislang/idris-dev)
[](https://readthedocs.org/projects/idris/?badge=latest)
[](https://hackage.haskell.org/package/idris)
[](https://stackage.org/lts/package/idris)
[](https://stackage.org/nightly/package/idris)
[](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.