Track Awesome Idris Updates Daily

Track Awesome Idris Updates Daily https://www.trackawesomelist.com/joaomilho/awesome-idris/feed.xml 2020-01-24T19:18:10.000Z jsonfeed-to-atom https://www.trackawesomelist.com/favicon.ico https://www.trackawesomelist.com/icon.png 𝛌 Awesome Idris resources https://www.trackawesomelist.com/2020/01/24/ Awesome Idris Updates on Jan 24, 2020 2020-01-24T19:18:10.000Z 2020-01-24T19:18:10.000Z

Contents / Articles

Meet Idris, a language that will change the way you think about programming

]]>

1 awesome projects updated on Jan 24, 2020

https://www.trackawesomelist.com/2019/08/03/ Awesome Idris Updates on Aug 03, 2019 2019-08-03T11:08:38.000Z 2019-08-03T11:08:38.000Z

Contents / Books

Gentle Introduction to Dependent Types with Idris

]]>

1 awesome projects updated on Aug 03, 2019

https://www.trackawesomelist.com/2019/05/04/ Awesome Idris Updates on May 04, 2019 2019-05-04T13:55:30.000Z 2019-05-04T13:53:35.000Z

Contents / Projects

idris-ct (⭐231) - Formally verified category theory library

typedefs (⭐359) - Programming language-agnostic, algebraic data type definition language

]]>

2 awesome projects updated on May 04, 2019

https://www.trackawesomelist.com/2018/11/28/ Awesome Idris Updates on Nov 28, 2018 2018-11-28T13:03:15.000Z 2018-11-28T13:03:15.000Z

Contents / Build tools | Package managers

Idris Rules - Idris rules for Bazel

Ikan (⭐34) - A package manager for idris, in idris

Elba (⭐187) - A package manager for Idris

idream (⭐22) - A simple build system for Idris

]]>

4 awesome projects updated on Nov 28, 2018

https://www.trackawesomelist.com/2018/11/12/ Awesome Idris Updates on Nov 12, 2018 2018-11-12T18:38:03.000Z 2018-11-12T18:38:03.000Z

Contents / Books

Software Foundations - Repo is here (⭐423).

]]>

1 awesome projects updated on Nov 12, 2018

https://www.trackawesomelist.com/2017/10/13/ Awesome Idris Updates on Oct 13, 2017 2017-10-13T17:30:04.000Z 2017-10-13T17:30:04.000Z

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.

]]>

12 awesome projects updated on Oct 13, 2017

https://www.trackawesomelist.com/2017/10/12/ Awesome Idris Updates on Oct 12, 2017 2017-10-12T21:44:51.000Z 2017-10-12T21:41:58.000Z

Contents / Books

Type Driven Development With Idris - Most important book published so far.

Contents / Presentations

Idris: General Purpose Programming with Dependent Types - Presentation by Edwin Brady, Idris' creator.

Contents / Projects

GitHub's trending Idris repos

iridium (⭐201) - xmonad with the X11 abstracted and configured with Idris.

lightyear (⭐235) - Parser combinators for Idris.

quantities (⭐151) Type-safe physical computations and unit conversions in Idris.

idris-type-providers (⭐84) - Type provider library for Idris.

IdrisScript (⭐88) - FFI Bindings to interact with the unsafe world of JavaScript.

idris-containers (⭐94) - Various data structures for use in the Idris Language.

IdrisSqlite (⭐39) - Effectful bindings for SQLite.

idris-http (⭐39) - HTTP library for Idris.

RingIdris (⭐20) - Ring solver for Idris.

specdris (⭐57) - Test framework for Idris.

idris-config (⭐19) - Parsers for various configuration files written in Idris.

probability (⭐32) - Probabilistic computation in Idris.

idris-protobuf (⭐28) - Partial implementation of Protocol Buffers in Idris.

idris-free (⭐25) - Free Monads and useful constructions to work with them.

Contents / Backends

idris-jvm (⭐378) - JVM bytecode backend for Idris.

idris-llvm (⭐77) - LLVM backend.

idris-erlang (⭐190) - Erlang backend.

idris-malfunction (⭐80) - Experimental Malfunction (OCaml internal representation) backend.

Contents / Community

GitHub organization

]]>

22 awesome projects updated on Oct 12, 2017

https://www.trackawesomelist.com/2017/10/06/ Awesome Idris Updates on Oct 06, 2017 2017-10-06T17:30:53.000Z 2017-10-06T17:22:24.000Z

Contents / Official resources

Official website

Official repo (⭐3.4k)

Contents / Community

Mailing list

IRC: #idris on freenode.net

Community Standards

]]>

5 awesome projects updated on Oct 06, 2017

https://www.trackawesomelist.com/2017/07/31/ Awesome Idris Updates on Jul 31, 2017 2017-07-31T11:08:03.000Z 2017-07-31T08:24:53.000Z

Contents / Articles

10 things Idris improved over Haskell

Tests vs. Types

Contents / Books

Type Theory and Functional Programming

Programming in Martin-Löf's Type Theory

]]>

4 awesome projects updated on Jul 31, 2017