awesome-idris
by joaomilho
𝛌 Awesome Idris resources
AI summary
Idris info hub
A curated collection of resources and information about Idris, a functional programming language with dependent types
- stars
- 393
- forks
- 18
- watching
- 25
- awesome lists
- 4
- entries
- 52
What's in the list
52 links in 9 sections, with live GitHub stats.activeno commit in 2y
Contents / Official resources
Official repoContents / Articles
Contents / Books
- Type Driven Development With Idris
Most important book published so far
- Software Foundations
Repo is
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
- 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
Contents / Presentations
- Idris: General Purpose Programming with Dependent Types
Presentation by Edwin Brady, Idris' creator
Contents / Projects
iridium
xmonad with the X11 abstracted and configured with Idris
lightyear
Parser combinators for Idris
quantities
Type-safe physical computations and unit conversions in Idris
idris-type-providers
Type provider library for Idris
IdrisScript
FFI Bindings to interact with the unsafe world of JavaScript
idris-containers
Various data structures for use in the Idris Language
Effectful bindings for SQLite
idris-http
HTTP library for Idris
RingIdris
Ring solver for Idris
specdris
Test framework for Idris
Parsers for various configuration files written in Idris
probability
Probabilistic computation in Idris
idris-protobuf
Partial implementation of Protocol Buffers in Idris
Free Monads and useful constructions to work with them
idris-ct
Formally verified category theory library
typedefs
Programming language-agnostic, algebraic data type definition language
Contents / Backends
idris-jvm
JVM bytecode backend for Idris
LLVM backend
idris-erlang
Erlang backend
idris-malfunction
Experimental Malfunction (OCaml internal representation) backend
Contents / Build tools | Package managers
- Idris Rules
Idris rules for Bazel
Ikan
A package manager for idris, in idris
Elba
A package manager for Idris
idream
A simple build system for Idris
Contents / Community
- freenode.net
IRC: #idris on
Nothing in this list matches your filter.
Featured in 4 awesome lists
Each link jumps to the spot where the list mentions awesome-idris.
