edwinb

Idris2-boot

A dependently typed programming language, a successor to Idris

Blodwen

A prototype successor to Idris

idris-php

Yes, really...

TypeDD-Samples

Sample code from "Type Driven Development with Idris"

SPLV20

SPLV20 course notes

Yaffle

A core language and API for dependently typed languages

Protocols

A DSL for describing and implementing communication protocols

idris2-vim

Vim mode for Idris 2

EpiVM

Epic - a Supercombinator Compiler

Idris2

A purely functional programming language with first class types

SDL-idris

SDL bindings package for idris

States

State machines in Idris

WS-idr

Yes, it is what you think it is

IdrisApp

An extensible IO-like monad-like thing for Idris, with support for including linear subprograms

idris-lang.org

Idris web site

idris2-clibs

Idris 2 bindings to various C libraries

tactics-tutorial

SchemeEval

Experimental normalisation via scheme

Vars

A small library for tracking mutable state in Idris programs

ConcIO

Concurrent IO language with Uniqueness Types

Idris-dev

A Dependently Typed Functional Programming Language

sodium-idris

Idris bindings for libsodium

ConcProc

Concurrent process DSL

oplss-notes-2017

handouts and notes from the 2017 edition of the summer school

Eff-dev

Development version of effects library for Idris

Idris2-pkg-outline

Outline of an Idris2 package which uses C glue

atom-language-idris

A Idris Mode for Atom.io

Resources

RingIdris

Ring solver for Idris

statement-on-lambdaconf.github.io