https://github.com/idris-lang/Idris2

A purely functional programming language with first class types
https://github.com/idris-lang/Idris2

compiler dependent-types hacktoberfest

Last synced: 16 days ago
JSON representation

A purely functional programming language with first class types

• Host: GitHub
• URL: https://github.com/idris-lang/Idris2
• Owner: idris-lang
• License: other
• Created: 2020-05-17T23:25:25.000Z (almost 5 years ago)
• Default Branch: main
• Last Pushed: 2025-03-21T12:01:24.000Z (25 days ago)
• Last Synced: 2025-03-21T13:21:43.769Z (25 days ago)
• Topics: compiler, dependent-types, hacktoberfest
• Language: Idris
• Homepage: https://idris-lang.org/
• Size: 110 MB
• Stars: 2,621
• Watchers: 64
• Forks: 382
• Open Issues: 585
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE
  • Support: support/Makefile

Awesome Lists containing this project

• awesome-programming-languages - Idris - Idris is a programming language designed to encourage Type-Driven Development. In Idris, types are first-class constructs in the langauge. This means types can be passed as arguments to functions, and returned from functions just like any other value, such as numbers, strings, or lists. (Uncategorized / Uncategorized)
• awesome-list - Idris2 - lang | 1311 | (Idris)