Edwin Brady

Idris2-boot. A dependently typed programming language, a successor to Idris

897

Blodwen. A prototype successor to Idris

539

idris-php. Yes, really...

176

TypeDD-Samples. Sample code from "Type Driven Development with Idris"

164

SPLV20. SPLV20 course notes

117

Yaffle. A core language and API for dependently typed languages

97

Protocols. A DSL for describing and implementing communication protocols

84

idris2-vim. Vim mode for Idris 2

79

EpiVM. Epic - a Supercombinator Compiler

64

Idris2. A purely functional programming language with first class types

60

SDL-idris. SDL bindings package for idris

47

States. State machines in Idris

37

WS-idr. Yes, it is what you think it is

33

Ivor. A type theory based theorem proving library

25

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

22

Idris-old. A language with dependent types

19

idris-lang.org. Idris web site

17

idris2-clibs. Idris 2 bindings to various C libraries

15

tactics-tutorial. TeX

13

Eff. Effects EDSL for Idris

13

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

13

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

12

SchemeEval. Experimental normalisation via scheme

12

ConcIO. Concurrent IO language with Uniqueness Types

9

Idris-dev. A Dependently Typed Functional Programming Language

6

ResIO. Dependently typed resource DSL

5

sodium-idris. Idris bindings for libsodium

4

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

3

ConcProc. Concurrent process DSL

3

idr-IP. Dependently typed DSLs for network protocols

3

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

2

Eff-dev. Development version of effects library for Idris

2

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

1

binary. Binary arithmetic in Idris

1

Resources. Idris

1

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

1