{"id":119,"url":"https://github.com/joaomilho/awesome-idris","last_synced_at":"2025-02-23T18:32:48.975Z","repository":{"id":43167235,"uuid":"98797847","full_name":"joaomilho/awesome-idris","owner":"joaomilho","description":"𝛌 Awesome Idris resources","archived":false,"fork":false,"pushed_at":"2020-02-20T19:56:12.000Z","size":28,"stargazers_count":381,"open_issues_count":1,"forks_count":19,"subscribers_count":25,"default_branch":"master","last_synced_at":"2024-05-20T04:06:25.181Z","etag":null,"topics":["awesome","awesome-list","functional-programming","haskell","idris","type-driven-development"],"latest_commit_sha":null,"homepage":"","language":"Idris","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/joaomilho.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"contributing.md","funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2017-07-30T13:03:29.000Z","updated_at":"2024-04-19T08:19:03.000Z","dependencies_parsed_at":"2022-09-13T12:02:25.682Z","dependency_job_id":null,"html_url":"https://github.com/joaomilho/awesome-idris","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/joaomilho%2Fawesome-idris","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/joaomilho%2Fawesome-idris/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/joaomilho%2Fawesome-idris/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/joaomilho%2Fawesome-idris/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/joaomilho","download_url":"https://codeload.github.com/joaomilho/awesome-idris/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":219846212,"owners_count":16556433,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["awesome","awesome-list","functional-programming","haskell","idris","type-driven-development"],"created_at":"2024-01-05T20:12:46.886Z","updated_at":"2024-10-14T23:35:52.244Z","avatar_url":"https://github.com/joaomilho.png","language":"Idris","funding_links":[],"categories":["Programming Languages","Technical","Idris","Uncategorized","front-end-development","Live Site:   [searchAwesome](https://search-awesome.vercel.app/)","编程语言","Themed Directories"],"sub_categories":["awesome-*","Uncategorized","Updated more than a year ago"],"readme":"\n\n\n# Awesome Idris [![Awesome](https://cdn.rawgit.com/sindresorhus/awesome/d7305f38d29fed78fa85652e3a63e154dd8e8829/media/badge.svg)](https://github.com/sindresorhus/awesome)\n\n[\u003cimg src=\"https://www.idris-lang.org/logo/logo.png\" align=\"right\" width=\"160\"\u003e](https://www.idris-lang.org/)\n\n\u003e An auxiliary list of awesome [Idris](https://www.idris-lang.org/) resources.\n\nIdris is a general purpose pure functional programming language with dependent types. Dependent types allow types to be predicated on values, meaning that some aspects of a program’s behaviour can be specified precisely in the type. It is compiled, with eager evaluation. Its features are influenced by Haskell and ML.\n\n## Contents\n\n- [Official resources](#official-resources)\n- [Articles](#articles)\n- [Books](#books)\n- [Papers](#papers)\n- [Presentations](#presentations)\n- [Projects](#projects)\n\n### Official resources\n\n* [Official website](https://www.idris-lang.org/)\n* [Official repo](https://github.com/idris-lang/Idris-dev)\n\n### Articles\n\n* [10 things Idris improved over Haskell](https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell/)\n* [Meet Idris, a language that will change the way you think about programming](https://crufter.com/idris-a-language-that-will-change-the-way-you-think-about-programming)\n* [Tests vs. Types](http://kevinmahoney.co.uk/articles/tests-vs-types/)\n\n### Books\n\n* [Type Driven Development With Idris](https://www.manning.com/books/type-driven-development-with-idris) - Most important book published so far.\n* [Type Theory and Functional Programming](https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/)\n* [Programming in Martin-Löf's Type Theory](http://www.cse.chalmers.se/research/group/logic/book/book.pdf)\n* [Software Foundations](https://idris-hackers.github.io/software-foundations/pdf/sf-idris-2018.pdf) - Repo is [here](https://github.com/idris-hackers/software-foundations).\n* [Gentle Introduction to Dependent Types with Idris](https://leanpub.com/gidti)\n\n### Papers\n\n* [Elaborator Reflection: Extending Idris in Idris](https://eb.host.cs.st-andrews.ac.uk/drafts/elab-reflection.pdf) - David Christiansen and Edwin Brady, 2016.\n* [Cross-platform Compilers for Functional Languages](https://eb.host.cs.st-andrews.ac.uk/drafts/compile-idris.pdf) - Edwin Brady, 2015.\n* [Programming and Reasoning with Side-Effects in Idris](https://eb.host.cs.st-andrews.ac.uk/drafts/eff-tutorial.pdf) - Edwin Brady, 2014.\n* [Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation](https://pdfs.semanticscholar.org/1407/220ca09070233dca256433430d29e5321dc2.pdf) - Edwin Brady, 2013.\n* [Programming and Reasoning with Algebraic Effects and Dependent Types](https://eb.host.cs.st-andrews.ac.uk/drafts/effects.pdf) - Edwin Brady, 2013.\n* [Sequential decision problems, dependently typed solutions](http://eb.host.cs.st-andrews.ac.uk/writings/plmms13.pdf) - Nicola Botta, Cezar Ionescu and Edwin Brady, 2013.\n* [Programming in Idris: a tutorial](http://eb.host.cs.st-andrews.ac.uk/writings/idris-tutorial.pdf) - Edwin Brady, 2012.\n* [Idris — Systems Programming Meets Full Dependent Types](https://eb.host.cs.st-andrews.ac.uk/writings/plpv11.pdf) - Edwin Brady, 2011.\n* [Scrapping your Inefficient Engine: using Partial Evaluation to Improve Domain-Specific Language Implementation](http://eb.host.cs.st-andrews.ac.uk/writings/icfp10.pdf) - Edwin Brady and Kevin Hammond, 2010.\n* [Correct-by-Construction Concurrency: using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols](http://eb.host.cs.st-andrews.ac.uk/writings/fi-cbc.pdf) - Edwin Brady and Kevin Hammond, 2010.\n* [Domain Specific Languages (DSLs) for Network Protocols](http://eb.host.cs.st-andrews.ac.uk/drafts/ngna2009-dsl.pdf) - Saleem Bhatti, Edwin Brady, Kevin Hammond and James McKinna, 2009.\n* [Lightweight Invariants with Full Dependent Types](http://eb.host.cs.st-andrews.ac.uk/drafts/tfp08.pdf) - Edwin Brady, Christoph Herrmann and Kevin Hammond, 2008.\n\n### Presentations\n\n* [Idris: General Purpose Programming with Dependent Types](https://www.youtube.com/watch?v=vkIlW797JN8) - Presentation by Edwin Brady, Idris' creator.\n\n### Projects\n\n* [GitHub's trending Idris repos](https://github.com/trending/idris)\n* [iridium](https://github.com/puffnfresh/iridium) - xmonad with the X11 abstracted and configured with Idris.\n* [lightyear](https://github.com/ziman/lightyear) - Parser combinators for Idris.\n* [quantities](https://github.com/timjb/quantities) Type-safe physical computations and unit conversions in Idris.\n* [idris-type-providers](https://github.com/david-christiansen/idris-type-providers) - Type provider library for Idris.\n* [IdrisScript](https://github.com/idris-hackers/IdrisScript) - FFI Bindings to interact with the unsafe world of JavaScript.\n* [idris-containers](https://github.com/jfdm/idris-containers) - Various data structures for use in the Idris Language.\n* [IdrisSqlite](https://github.com/david-christiansen/IdrisSqlite) - Effectful bindings for SQLite.\n* [idris-http](https://github.com/uwap/idris-http) - HTTP library for Idris.\n* [RingIdris](https://github.com/FranckS/RingIdris) - Ring solver for Idris.\n* [specdris](https://github.com/pheymann/specdris) - Test framework for Idris.\n* [idris-config](https://github.com/jfdm/idris-config) - Parsers for various configuration files written in Idris.\n* [probability](https://github.com/BlackBrane/probability) - Probabilistic computation in Idris.\n* [idris-protobuf](https://github.com/google/idris-protobuf) - Partial implementation of Protocol Buffers in Idris.\n* [idris-free](https://github.com/idris-hackers/idris-free) - Free Monads and useful constructions to work with them.\n* [idris-ct](https://github.com/statebox/idris-ct) - Formally verified category theory library\n* [typedefs](https://github.com/typedefs/typedefs) - Programming language-agnostic, algebraic data type definition language\n\n### Backends\n\n* [idris-jvm](https://github.com/mmhelloworld/idris-jvm) - JVM bytecode backend for Idris.\n* [idris-llvm](https://github.com/idris-hackers/idris-llvm) - LLVM backend.\n* [idris-erlang](https://github.com/lenary/idris-erlang) - Erlang backend.\n* [idris-malfunction](https://github.com/stedolan/idris-malfunction) - Experimental Malfunction (OCaml internal representation) backend.\n\n### Build tools | Package managers\n\n- [Idris Rules](http://idris.build) - Idris rules for Bazel\n- [Ikan](https://github.com/idris-industry/ikan) - A package manager for idris, in idris\n- [Elba](https://github.com/elba/elba) - A package manager for Idris\n- [idream](https://github.com/idream-build/idream) - A simple build system for Idris\n\n### Community\n\n* [Mailing list](http://groups.google.com/group/idris-lang)\n* IRC: #idris on [freenode.net](https://webchat.freenode.net/)\n* [GitHub organization](https://github.com/idris-hackers)\n* [Community Standards](https://www.idris-lang.org/documentation/community-standards/)\n\n## License\n\n[![CC0](http://mirrors.creativecommons.org/presskit/buttons/88x31/svg/cc-zero.svg)](https://creativecommons.org/publicdomain/zero/1.0/)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjoaomilho%2Fawesome-idris","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fjoaomilho%2Fawesome-idris","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjoaomilho%2Fawesome-idris/lists"}