Edwin Brady

icon indicating a website link https://type-driven.org.uk/edwinb

Results 16 repositories owned by Edwin Brady
trafficstars

SDL-idris

47
Stars
19
Forks
Watchers

SDL bindings package for idris

verified publisher icon edwinb

SPLV20

91
Stars
27
Forks
Watchers

SPLV20 course notes

verified publisher icon edwinb

States

38
Stars
4
Forks
Watchers

State machines in Idris

verified publisher icon edwinb

TypeDD-Samples

150
Stars
38
Forks
Watchers

Sample code from "Type Driven Development with Idris"

verified publisher icon edwinb

WS-idr

33
Stars
5
Forks
Watchers

Yes, it is what you think it is

verified publisher icon edwinb

Yaffle

79
Stars
12
Forks
Watchers

A core language and API for dependently typed languages

verified publisher icon edwinb