awesome-idris
Idris info hub
A curated collection of resources and information about Idris, a functional programming language with dependent types
π Awesome Idris resources
393 stars
25 watching
18 forks
Language: Idris
last commit: over 5 years ago
Linked from 4 awesome lists
awesomeawesome-listfunctional-programminghaskellidristype-driven-development
Awesome Idris / Contents / Official resources | |||
| Official website | |||
| Official repo | 3,440 | about 1 year ago | |
Awesome Idris / Contents / Articles | |||
| 10 things Idris improved over Haskell | |||
| Meet Idris, a language that will change the way you think about programming | |||
| Tests vs. Types | |||
Awesome Idris / Contents / Books | |||
| Type Driven Development With Idris | Most important book published so far | ||
| Type Theory and Functional Programming | |||
| Programming in Martin-LΓΆf's Type Theory | |||
| Software Foundations | Repo is | ||
| Gentle Introduction to Dependent Types with Idris | |||
Awesome Idris / Contents / Papers | |||
| Elaborator Reflection: Extending Idris in Idris | David Christiansen and Edwin Brady, 2016 | ||
| Cross-platform Compilers for Functional Languages | Edwin Brady, 2015 | ||
| Programming and Reasoning with Side-Effects in Idris | Edwin Brady, 2014 | ||
| Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation | Edwin Brady, 2013 | ||
| Programming and Reasoning with Algebraic Effects and Dependent Types | Edwin Brady, 2013 | ||
| Sequential decision problems, dependently typed solutions | Nicola Botta, Cezar Ionescu and Edwin Brady, 2013 | ||
| Programming in Idris: a tutorial | Edwin Brady, 2012 | ||
| Idris β Systems Programming Meets Full Dependent Types | Edwin Brady, 2011 | ||
| Scrapping your Inefficient Engine: using Partial Evaluation to Improve Domain-Specific Language Implementation | Edwin Brady and Kevin Hammond, 2010 | ||
| Correct-by-Construction Concurrency: using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols | Edwin Brady and Kevin Hammond, 2010 | ||
| Domain Specific Languages (DSLs) for Network Protocols | Saleem Bhatti, Edwin Brady, Kevin Hammond and James McKinna, 2009 | ||
| Lightweight Invariants with Full Dependent Types | Edwin Brady, Christoph Herrmann and Kevin Hammond, 2008 | ||
Awesome Idris / Contents / Presentations | |||
| Idris: General Purpose Programming with Dependent Types | Presentation by Edwin Brady, Idris' creator | ||
Awesome Idris / Contents / Projects | |||
| GitHub's trending Idris repos | |||
| iridium | 206 | over 6 years ago | xmonad with the X11 abstracted and configured with Idris |
| lightyear | 240 | over 6 years ago | Parser combinators for Idris |
| quantities | 158 | over 6 years ago | Type-safe physical computations and unit conversions in Idris |
| idris-type-providers | 94 | almost 8 years ago | Type provider library for Idris |
| IdrisScript | 92 | about 7 years ago | FFI Bindings to interact with the unsafe world of JavaScript |
| idris-containers | 95 | over 5 years ago | Various data structures for use in the Idris Language |
| IdrisSqlite | 41 | over 7 years ago | Effectful bindings for SQLite |
| idris-http | 40 | almost 7 years ago | HTTP library for Idris |
| RingIdris | 20 | almost 7 years ago | Ring solver for Idris |
| specdris | 56 | over 6 years ago | Test framework for Idris |
| idris-config | 19 | almost 8 years ago | Parsers for various configuration files written in Idris |
| probability | 34 | over 6 years ago | Probabilistic computation in Idris |
| idris-protobuf | 30 | about 8 years ago | Partial implementation of Protocol Buffers in Idris |
| idris-free | 26 | about 7 years ago | Free Monads and useful constructions to work with them |
| idris-ct | 259 | over 5 years ago | Formally verified category theory library |
| typedefs | 367 | over 1 year ago | Programming language-agnostic, algebraic data type definition language |
Awesome Idris / Contents / Backends | |||
| idris-jvm | 470 | 11 months ago | JVM bytecode backend for Idris |
| idris-llvm | 78 | about 8 years ago | LLVM backend |
| idris-erlang | 188 | over 8 years ago | Erlang backend |
| idris-malfunction | 81 | over 7 years ago | Experimental Malfunction (OCaml internal representation) backend |
Awesome Idris / Contents / Build tools | Package managers | |||
| Idris Rules | Idris rules for Bazel | ||
| Ikan | 34 | over 6 years ago | A package manager for idris, in idris |
| Elba | 190 | over 5 years ago | A package manager for Idris |
| idream | 22 | over 4 years ago | A simple build system for Idris |
Awesome Idris / Contents / Community | |||
| Mailing list | |||
| freenode.net | IRC: #idris on | ||
| GitHub organization | |||
| Community Standards | |||
sindresorhus/awesome
bayandin/awesome-awesomeness
jnv/lists
0ex/more-awesome