Giters
Edwin Brady (edwinb)

edwinb

Geek Repo

884

followers

3

following

10

stars

Home Page:https://type-driven.org.uk/edwinb

Github PK Tool:Github PK Tool

Edwin Brady's repositories

Ivor

A type theory based theorem proving library

Language:HaskellLicense:NOASSERTIONStargazers:25Issues:3Issues:0

Idris-old

A language with dependent types

Language:HaskellLicense:NOASSERTIONStargazers:19Issues:3Issues:0

Eff

Effects EDSL for Idris

Stargazers:13Issues:0Issues:0

Eff-new

New version of Effects library with dependent states

Language:IdrisLicense:BSD-3-ClauseStargazers:13Issues:3Issues:0

ResIO

Dependently typed resource DSL

Language:CStargazers:5Issues:0Issues:0

idr-IP

Dependently typed DSLs for network protocols

Language:CStargazers:3Issues:3Issues:0

binary

Binary arithmetic in Idris

Stargazers:1Issues:0Issues:0

IdrisWeb

A secure web framework, built in the Idris language.

Language:CStargazers:1Issues:3Issues:0

idris-vim

Idris mode for vim

Language:VimLStargazers:0Issues:0Issues:0