awesome-idris

Idris info hub

A curated collection of resources and information about Idris, a functional programming language with dependent types

π›Œ Awesome Idris resources

GitHub

393 stars
25 watching
18 forks
Language: Idris
last commit: over 6 years ago
Linked from 4 awesome lists

awesomeawesome-listfunctional-programminghaskellidristype-driven-development

Awesome Idris / Contents / Official resources

Official website
Official repo3,440about 2 years 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 IdrisMost important book published so far
Type Theory and Functional Programming
Programming in Martin-LΓΆf's Type Theory
Software FoundationsRepo is
Gentle Introduction to Dependent Types with Idris

Awesome Idris / Contents / Papers

Elaborator Reflection: Extending Idris in IdrisDavid Christiansen and Edwin Brady, 2016
Cross-platform Compilers for Functional LanguagesEdwin Brady, 2015
Programming and Reasoning with Side-Effects in IdrisEdwin Brady, 2014
Idris, a General Purpose Dependently Typed Programming Language: Design and ImplementationEdwin Brady, 2013
Programming and Reasoning with Algebraic Effects and Dependent TypesEdwin Brady, 2013
Sequential decision problems, dependently typed solutionsNicola Botta, Cezar Ionescu and Edwin Brady, 2013
Programming in Idris: a tutorialEdwin Brady, 2012
Idris β€” Systems Programming Meets Full Dependent TypesEdwin Brady, 2011
Scrapping your Inefficient Engine: using Partial Evaluation to Improve Domain-Specific Language ImplementationEdwin Brady and Kevin Hammond, 2010
Correct-by-Construction Concurrency: using Dependent Types to Verify Implementations of Effectful Resource Usage ProtocolsEdwin Brady and Kevin Hammond, 2010
Domain Specific Languages (DSLs) for Network ProtocolsSaleem Bhatti, Edwin Brady, Kevin Hammond and James McKinna, 2009
Lightweight Invariants with Full Dependent TypesEdwin Brady, Christoph Herrmann and Kevin Hammond, 2008

Awesome Idris / Contents / Presentations

Idris: General Purpose Programming with Dependent TypesPresentation by Edwin Brady, Idris' creator

Awesome Idris / Contents / Projects

GitHub's trending Idris repos
iridium206over 7 years agoxmonad with the X11 abstracted and configured with Idris
lightyear240over 7 years agoParser combinators for Idris
quantities158over 7 years agoType-safe physical computations and unit conversions in Idris
idris-type-providers94over 8 years agoType provider library for Idris
IdrisScript92almost 8 years agoFFI Bindings to interact with the unsafe world of JavaScript
idris-containers95over 6 years agoVarious data structures for use in the Idris Language
IdrisSqlite41over 8 years agoEffectful bindings for SQLite
idris-http40over 7 years agoHTTP library for Idris
RingIdris20almost 8 years agoRing solver for Idris
specdris56over 7 years agoTest framework for Idris
idris-config19almost 9 years agoParsers for various configuration files written in Idris
probability34about 7 years agoProbabilistic computation in Idris
idris-protobuf30about 9 years agoPartial implementation of Protocol Buffers in Idris
idris-free26about 8 years agoFree Monads and useful constructions to work with them
idris-ct259about 6 years agoFormally verified category theory library
typedefs367over 2 years agoProgramming language-agnostic, algebraic data type definition language

Awesome Idris / Contents / Backends

idris-jvm470almost 2 years agoJVM bytecode backend for Idris
idris-llvm78about 9 years agoLLVM backend
idris-erlang188about 9 years agoErlang backend
idris-malfunction81about 8 years agoExperimental Malfunction (OCaml internal representation) backend

Awesome Idris / Contents / Build tools | Package managers

Idris RulesIdris rules for Bazel
Ikan34over 7 years agoA package manager for idris, in idris
Elba190about 6 years agoA package manager for Idris
idream22over 5 years agoA simple build system for Idris

Awesome Idris / Contents / Community

Mailing list
freenode.netIRC: #idris on
GitHub organization
Community Standards

Backlinks from these awesome lists:

0