Edwin Brady

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

Ivor. A type theory based theorem proving library

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

Idris-old. A language with dependent types

idris-lang.org. Idris web site

idris2-clibs. Idris 2 bindings to various C libraries

tactics-tutorial. TeX

Eff. Effects EDSL for Idris

Eff-new. New version of Effects library with dependent states

Vars. A small library for tracking mutable state in Idris programs

SchemeEval. Experimental normalisation via scheme

ConcIO. Concurrent IO language with Uniqueness Types

Idris-dev. A Dependently Typed Functional Programming Language

ResIO. Dependently typed resource DSL

sodium-idris. Idris bindings for libsodium

oplss-notes-2017. handouts and notes from the 2017 edition of the summer school

ConcProc. Concurrent process DSL

idr-IP. Dependently typed DSLs for network protocols

Idris2-pkg-outline. Outline of an Idris2 package which uses C glue

Eff-dev. Development version of effects library for Idris

atom-language-idris. A Idris Mode for Atom.io

binary. Binary arithmetic in Idris

Resources. Idris

IdrisWeb. A secure web framework, built in the Idris language.