Results 16 repositories owned by Edwin Brady
trafficstars

Blodwen

545
Stars
39
Forks
Watchers

A prototype successor to Idris

EpiVM

66
Stars
10
Forks
Watchers

Epic - a Supercombinator Compiler

Idris-old

19
Stars
2
Forks
Watchers

A language with dependent types

idris-php

165
Stars
14
Forks
Watchers

Yes, really...

Idris2

53
Stars
8
Forks
Watchers

A purely functional programming language with first class types

Idris2-boot

916
Stars
59
Forks
Watchers

A dependently typed programming language, a successor to Idris

idris2-clibs

16
Stars
1
Forks
Watchers

Idris 2 bindings to various C libraries

idris2-vim

59
Stars
24
Forks
Watchers

Vim mode for Idris 2

IdrisApp

22
Stars
0
Forks
Watchers

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

Protocols

82
Stars
10
Forks
Watchers

A DSL for describing and implementing communication protocols