edwinb/Protocols
A DSL for describing and implementing communication protocols
Developer Profile
edwinb
Discovered public repositories for edwinb in the GitHub catalog.
edwinb/Eff-new
New version of Effects library with dependent states
edwinb/idris-vim
Idris mode for vim
edwinb/SDL-idris
SDL bindings package for idris
edwinb/IdrisWeb
A secure web framework, built in the Idris language.
edwinb/binary
Binary arithmetic in Idris
edwinb/Eff
Effects EDSL for Idris
edwinb/WS-idr
Yes, it is what you think it is
edwinb/ResIO
Dependently typed resource DSL
edwinb/idr-IP
Dependently typed DSLs for network protocols
edwinb/EpiVM
Epic - a Supercombinator Compiler
edwinb/Ivor
A type theory based theorem proving library
edwinb/Idris-old
A language with dependent types