Beast code in Giters

Edwin Brady's starred repositories

A Dependently Typed Functional Programming Language

Language:HaskellNOASSERTION3427 120 2336

Epic - a Supercombinator Compiler

Language:TeXNOASSERTION65 5 7

A type theory based theorem proving library

Language:HaskellNOASSERTION25 30

A language with dependent types

Language:HaskellNOASSERTION19 30

Epic - a Supercombinator Compiler

Language:HaskellNOASSERTION11 30

A type theory based theorem proving library

Language:HaskellNOASSERTION11 30

A language with dependent types

Language:HaskellNOASSERTION7 30

Dependently typed resource DSL

Language:C500

Dependently typed DSLs for network protocols

Language:C3 30

Dependently typed DSLs for network protocols

Language:C2 30