edwinb

edwinb's Stars

• idris-lang/Idris-dev

  A Dependently Typed Functional Programming Language

  Language:Haskell3.5k1162.3k635

• edwinb/EpiVM

  Epic - a Supercombinator Compiler

  Language:TeX653710

• edwinb/Ivor

  A type theory based theorem proving library

  Language:Haskell25303

• edwinb/Idris-old

  A language with dependent types

  Language:Haskell19302

• avsm/EpiVM

  Epic - a Supercombinator Compiler

  Language:Haskell113011

• avsm/Ivor

  A type theory based theorem proving library

  Language:Haskell11305

• avsm/Idris

  A language with dependent types

  Language:Haskell7303

• edwinb/ResIO

  Dependently typed resource DSL

  Language:C530

• edwinb/idr-IP

  Dependently typed DSLs for network protocols

  Language:C3301

• avsm/idr-IP

  Dependently typed DSLs for network protocols

  Language:C2301