Skip to content
View edwinb's full-sized avatar
882 followers · 3 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Block or report edwinb

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

idris-lang / Idris-dev

A Dependently Typed Functional Programming Language

Haskell 3,427 644 Updated Aug 2, 2024

edwinb / ResIO

Dependently typed resource DSL

C 5 Updated Jan 21, 2012

edwinb / idr-IP

Forked from avsm/idr-IP

Dependently typed DSLs for network protocols

C 3 1 Updated Jan 7, 2011

edwinb / EpiVM

Forked from avsm/EpiVM

Epic - a Supercombinator Compiler

TeX 65 10 Updated Jun 12, 2015

edwinb / Ivor

Forked from avsm/Ivor

A type theory based theorem proving library

Haskell 25 3 Updated Aug 23, 2011

edwinb / Idris-old

Forked from avsm/Idris

A language with dependent types

Haskell 19 2 Updated Oct 7, 2011

avsm / idr-IP

Dependently typed DSLs for network protocols

C 2 1 Updated Apr 28, 2010

avsm / Idris

A language with dependent types

Haskell 7 3 Updated Apr 28, 2010

avsm / Ivor

A type theory based theorem proving library

Haskell 11 5 Updated Apr 29, 2010

avsm / EpiVM

Epic - a Supercombinator Compiler

Haskell 11 11 Updated Apr 29, 2010