awesome-idris

joaomilho

𝛌 Awesome Idris resources

functional-programming haskell awesome

View on GitHub

398 Stars

18 Forks

398 Watchers

Idris Language

Cost to Build

$1.8K

Market Value

$4.6K

How is this calculated?

Growth over time

11 data points · 2021-08-01 → 2025-02-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about awesome-idris

Question copied to clipboard

What is the joaomilho/awesome-idris GitHub project? Description: "𝛌 Awesome Idris resources". Written in Idris. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone awesome-idris

Clone via HTTPS

git clone https://github.com/joaomilho/awesome-idris.git

Clone via SSH

[email protected]:joaomilho/awesome-idris.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the awesome-idris issue tracker:

Open GitHub Issues

Similar to awesome-idris

awesome awesome-python awesome-go awesome-android-ui papers-we-love awesome-ios github-cheat-sheet awesome-nodejs awesome-courses Awesome-Hacking awesome-selfhosted frontend-dev-bookmarks awesome-mac awesome-interview-questions awesome-macos-command-line awesome-php open-source-ios-apps awesome-swift awesome-electron awesome-react-components awesome-cpp awesome-shell css-protips open-source-mac-os-apps awesome-remote-job awesome-docker Qix awesome-redux htaccess config