Edwin Brady

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

Results 16 repositories owned by Edwin Brady
trafficstars

Blodwen

545
Stars
39
Forks
Watchers

A prototype successor to Idris

verified publisher icon edwinb

EpiVM

66
Stars
10
Forks
Watchers

Epic - a Supercombinator Compiler

verified publisher icon edwinb

Idris-old

19
Stars
2
Forks
Watchers

A language with dependent types

verified publisher icon edwinb

idris-php

165
Stars
14
Forks
Watchers

Yes, really...

verified publisher icon edwinb

Idris2

53
Stars
8
Forks
Watchers

A purely functional programming language with first class types

verified publisher icon edwinb

Idris2-boot

916
Stars
59
Forks
Watchers

A dependently typed programming language, a successor to Idris

verified publisher icon edwinb

idris2-clibs

16
Stars
1
Forks
Watchers

Idris 2 bindings to various C libraries

verified publisher icon edwinb

idris2-vim

59
Stars
24
Forks
Watchers

Vim mode for Idris 2

verified publisher icon edwinb

IdrisApp

22
Stars
0
Forks
Watchers

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

verified publisher icon edwinb

Protocols

82
Stars
10
Forks
Watchers

A DSL for describing and implementing communication protocols

verified publisher icon edwinb