AnyAwesome
Back to Categories

Idris

General purpose pure functional programming language with dependent types influenced by Haskell and ML.

52 resources1 categoriesView Original

Contents(52 items)

1

10 things Idris improved over Haskell

Contents
C

Community Standards

Contents
C

Correct-by-Construction Concurrency: using Depe...

Edwin Brady and Kevin Hammond, 2010.

Contents
C

Cross-platform Compilers for Functional Languages

Edwin Brady, 2015.

Contents
D

Domain Specific Languages (DSLs) for Network Pr...

Saleem Bhatti, Edwin Brady, Kevin Hammond and James McKinna, 2009.

Contents
E

Elaborator Reflection: Extending Idris in Idris

David Christiansen and Edwin Brady, 2016.

Contents
E

Elba

A package manager for Idris

Contents
F

freenode.net

IRC: #idris on

Contents
G

Gentle Introduction to Dependent Types with Idris

Contents
G

GitHub organization

Contents
G

GitHub's trending Idris repos

Contents
I

idream

A simple build system for Idris

Contents
I

Idris Rules

Idris rules for Bazel

Contents
I

Idris — Systems Programming Meets Full Dependen...

Edwin Brady, 2011.

Contents
I

Idris, a General Purpose Dependently Typed Prog...

Edwin Brady, 2013.

Contents
I

idris-config

Parsers for various configuration files written in Idris.

Contents
I

idris-containers

Various data structures for use in the Idris Language.

Contents
I

idris-ct

Formally verified category theory library

Contents
I

idris-erlang

Erlang backend.

Contents
I

idris-free

Free Monads and useful constructions to work with them.

Contents
I

idris-http

HTTP library for Idris.

Contents
I

idris-jvm

JVM bytecode backend for Idris.

Contents
I

idris-llvm

LLVM backend.

Contents
I

idris-malfunction

Experimental Malfunction (OCaml internal representation) backend.

Contents
I

idris-protobuf

Partial implementation of Protocol Buffers in Idris.

Contents
I

idris-type-providers

Type provider library for Idris.

Contents
I

Idris: General Purpose Programming with Depende...

Presentation by Edwin Brady, Idris' creator.

Contents
I

IdrisScript

FFI Bindings to interact with the unsafe world of JavaScript.

Contents
I

IdrisSqlite

Effectful bindings for SQLite.

Contents
I

Ikan

A package manager for idris, in idris

Contents
I

iridium

xmonad with the X11 abstracted and configured with Idris.

Contents
L

Lightweight Invariants with Full Dependent Types

Edwin Brady, Christoph Herrmann and Kevin Hammond, 2008.

Contents
L

lightyear

Parser combinators for Idris.

Contents
M

Mailing list

Contents
M

Meet Idris, a language that will change the way...

Contents
O

Official repo

Contents
O

Official website

Contents
P

probability

Probabilistic computation in Idris.

Contents
P

Programming and Reasoning with Algebraic Effect...

Edwin Brady, 2013.

Contents
P

Programming and Reasoning with Side-Effects in ...

Edwin Brady, 2014.

Contents
P

Programming in Idris: a tutorial

Edwin Brady, 2012.

Contents
P

Programming in Martin-Löf's Type Theory

Contents
Q

quantities

Type-safe physical computations and unit conversions in Idris.

Contents
R

RingIdris

Ring solver for Idris.

Contents
S

Scrapping your Inefficient Engine: using Partia...

Edwin Brady and Kevin Hammond, 2010.

Contents
S

Sequential decision problems, dependently typed...

Nicola Botta, Cezar Ionescu and Edwin Brady, 2013.

Contents
S

Software Foundations

Repo is here.

Contents
S

specdris

Test framework for Idris.

Contents
T

Tests vs. Types

Contents
T

Type Driven Development With Idris

Most important book published so far.

Contents
T

Type Theory and Functional Programming

Contents
T

typedefs

Programming language-agnostic, algebraic data type definition language

Contents