1 line
No EOL
8.9 KiB
JSON
1 line
No EOL
8.9 KiB
JSON
{"slug": "joaomilho--awesome-idris", "title": "Awesome Idris", "description": "𝛌 Awesome Idris resources", "github_url": "https://github.com/joaomilho/awesome-idris", "stars": "353", "tag": "Programming Languages", "entry_count": 57, "subcategory_count": 10, "subcategories": [{"name": "General", "parent": "", "entries": [{"name": "Official resources", "url": "#official-resources", "description": ""}, {"name": "Articles", "url": "#articles", "description": ""}, {"name": "Books", "url": "#books", "description": ""}, {"name": "Papers", "url": "#papers", "description": ""}, {"name": "Presentations", "url": "#presentations", "description": ""}, {"name": "Projects", "url": "#projects", "description": ""}]}, {"name": "Official resources", "parent": "", "entries": [{"name": "Official website", "url": "https://www.idris-lang.org/", "description": ""}, {"name": "Official repo", "url": "https://github.com/idris-lang/Idris-dev", "description": "", "stars": "3.4k"}]}, {"name": "Articles", "parent": "", "entries": [{"name": "10 things Idris improved over Haskell", "url": "https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell/", "description": ""}, {"name": "Meet Idris, a language that will change the way you think about programming", "url": "https://crufter.com/idris-a-language-that-will-change-the-way-you-think-about-programming", "description": ""}, {"name": "Tests vs. Types", "url": "http://kevinmahoney.co.uk/articles/tests-vs-types/", "description": ""}]}, {"name": "Books", "parent": "", "entries": [{"name": "Type Driven Development With Idris", "url": "https://www.manning.com/books/type-driven-development-with-idris", "description": "Most important book published so far."}, {"name": "Type Theory and Functional Programming", "url": "https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/", "description": ""}, {"name": "Programming in Martin-Löf's Type Theory", "url": "http://www.cse.chalmers.se/research/group/logic/book/book.pdf", "description": ""}, {"name": "Software Foundations", "url": "https://idris-hackers.github.io/software-foundations/pdf/sf-idris-2018.pdf", "description": "Repo is [here (⭐423)](https://github.com/idris-hackers/software-foundations)."}, {"name": "Gentle Introduction to Dependent Types with Idris", "url": "https://leanpub.com/gidti", "description": ""}]}, {"name": "Papers", "parent": "", "entries": [{"name": "Elaborator Reflection: Extending Idris in Idris", "url": "https://eb.host.cs.st-andrews.ac.uk/drafts/elab-reflection.pdf", "description": "David Christiansen and Edwin Brady, 2016."}, {"name": "Cross-platform Compilers for Functional Languages", "url": "https://eb.host.cs.st-andrews.ac.uk/drafts/compile-idris.pdf", "description": "Edwin Brady, 2015."}, {"name": "Programming and Reasoning with Side-Effects in Idris", "url": "https://eb.host.cs.st-andrews.ac.uk/drafts/eff-tutorial.pdf", "description": "Edwin Brady, 2014."}, {"name": "Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation", "url": "https://pdfs.semanticscholar.org/1407/220ca09070233dca256433430d29e5321dc2.pdf", "description": "Edwin Brady, 2013."}, {"name": "Programming and Reasoning with Algebraic Effects and Dependent Types", "url": "https://eb.host.cs.st-andrews.ac.uk/drafts/effects.pdf", "description": "Edwin Brady, 2013."}, {"name": "Sequential decision problems, dependently typed solutions", "url": "http://eb.host.cs.st-andrews.ac.uk/writings/plmms13.pdf", "description": "Nicola Botta, Cezar Ionescu and Edwin Brady, 2013."}, {"name": "Programming in Idris: a tutorial", "url": "http://eb.host.cs.st-andrews.ac.uk/writings/idris-tutorial.pdf", "description": "Edwin Brady, 2012."}, {"name": "Idris — Systems Programming Meets Full Dependent Types", "url": "https://eb.host.cs.st-andrews.ac.uk/writings/plpv11.pdf", "description": "Edwin Brady, 2011."}, {"name": "Scrapping your Inefficient Engine: using Partial Evaluation to Improve Domain-Specific Language Implementation", "url": "http://eb.host.cs.st-andrews.ac.uk/writings/icfp10.pdf", "description": "Edwin Brady and Kevin Hammond, 2010."}, {"name": "Correct-by-Construction Concurrency: using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols", "url": "http://eb.host.cs.st-andrews.ac.uk/writings/fi-cbc.pdf", "description": "Edwin Brady and Kevin Hammond, 2010."}, {"name": "Domain Specific Languages (DSLs) for Network Protocols", "url": "http://eb.host.cs.st-andrews.ac.uk/drafts/ngna2009-dsl.pdf", "description": "Saleem Bhatti, Edwin Brady, Kevin Hammond and James McKinna, 2009."}, {"name": "Lightweight Invariants with Full Dependent Types", "url": "http://eb.host.cs.st-andrews.ac.uk/drafts/tfp08.pdf", "description": "Edwin Brady, Christoph Herrmann and Kevin Hammond, 2008."}]}, {"name": "Presentations", "parent": "", "entries": [{"name": "Idris: General Purpose Programming with Dependent Types", "url": "https://www.youtube.com/watch?v=vkIlW797JN8", "description": "Presentation by Edwin Brady, Idris' creator."}]}, {"name": "Projects", "parent": "", "entries": [{"name": "GitHub's trending Idris repos", "url": "https://github.com/trending/idris", "description": ""}, {"name": "iridium", "url": "https://github.com/puffnfresh/iridium", "description": "xmonad with the X11 abstracted and configured with Idris.", "stars": "201"}, {"name": "lightyear", "url": "https://github.com/ziman/lightyear", "description": "Parser combinators for Idris.", "stars": "235"}, {"name": "quantities", "url": "https://github.com/timjb/quantities", "description": "", "stars": "151"}, {"name": "idris-type-providers", "url": "https://github.com/david-christiansen/idris-type-providers", "description": "Type provider library for Idris.", "stars": "84"}, {"name": "IdrisScript", "url": "https://github.com/idris-hackers/IdrisScript", "description": "FFI Bindings to interact with the unsafe world of JavaScript.", "stars": "88"}, {"name": "idris-containers", "url": "https://github.com/jfdm/idris-containers", "description": "Various data structures for use in the Idris Language.", "stars": "94"}, {"name": "IdrisSqlite", "url": "https://github.com/david-christiansen/IdrisSqlite", "description": "Effectful bindings for SQLite.", "stars": "39"}, {"name": "idris-http", "url": "https://github.com/uwap/idris-http", "description": "HTTP library for Idris.", "stars": "39"}, {"name": "RingIdris", "url": "https://github.com/FranckS/RingIdris", "description": "Ring solver for Idris.", "stars": "20"}, {"name": "specdris", "url": "https://github.com/pheymann/specdris", "description": "Test framework for Idris.", "stars": "57"}, {"name": "idris-config", "url": "https://github.com/jfdm/idris-config", "description": "Parsers for various configuration files written in Idris.", "stars": "19"}, {"name": "probability", "url": "https://github.com/BlackBrane/probability", "description": "Probabilistic computation in Idris.", "stars": "32"}, {"name": "idris-protobuf", "url": "https://github.com/google/idris-protobuf", "description": "Partial implementation of Protocol Buffers in Idris.", "stars": "28"}, {"name": "idris-free", "url": "https://github.com/idris-hackers/idris-free", "description": "Free Monads and useful constructions to work with them.", "stars": "25"}, {"name": "idris-ct", "url": "https://github.com/statebox/idris-ct", "description": "Formally verified category theory library", "stars": "231"}, {"name": "typedefs", "url": "https://github.com/typedefs/typedefs", "description": "Programming language-agnostic, algebraic data type definition language", "stars": "359"}]}, {"name": "Backends", "parent": "", "entries": [{"name": "idris-jvm", "url": "https://github.com/mmhelloworld/idris-jvm", "description": "JVM bytecode backend for Idris.", "stars": "378"}, {"name": "idris-llvm", "url": "https://github.com/idris-hackers/idris-llvm", "description": "LLVM backend.", "stars": "77"}, {"name": "idris-erlang", "url": "https://github.com/lenary/idris-erlang", "description": "Erlang backend.", "stars": "190"}, {"name": "idris-malfunction", "url": "https://github.com/stedolan/idris-malfunction", "description": "Experimental Malfunction (OCaml internal representation) backend.", "stars": "80"}]}, {"name": "Build tools | Package managers", "parent": "", "entries": [{"name": "Idris Rules", "url": "http://idris.build", "description": "Idris rules for Bazel"}, {"name": "Ikan", "url": "https://github.com/idris-industry/ikan", "description": "A package manager for idris, in idris", "stars": "34"}, {"name": "Elba", "url": "https://github.com/elba/elba", "description": "A package manager for Idris", "stars": "187"}, {"name": "idream", "url": "https://github.com/idream-build/idream", "description": "A simple build system for Idris", "stars": "22"}]}, {"name": "Community", "parent": "", "entries": [{"name": "Mailing list", "url": "http://groups.google.com/group/idris-lang", "description": ""}, {"name": "GitHub organization", "url": "https://github.com/idris-hackers", "description": ""}, {"name": "Community Standards", "url": "https://www.idris-lang.org/documentation/community-standards/", "description": ""}]}]} |