nikivazou/cufp16
Materials for LambdaConf LiquidHaskell Workshop
Developer Profile
nikivazou
Discovered public repositories for nikivazou in the GitHub catalog.
nikivazou/haskell-probability-monads
Composable probability monads in Haskell.
nikivazou/club_de_science
Public repository.
nikivazou/Haxl
A Haskell library that simplifies access to remote data, such as databases or web-based services.
nikivazou/thesis_proposal
Public repository.
nikivazou/Data.Equations
Equation Manipulation on Haskell
nikivazou/cse105Fa14
Haskell session of cse105
nikivazou/learnyouagreekhaskell
Translation of learn you a haskell for Great Good into Greek!
nikivazou/rghaskell
Porting a variant of rely-guarantee references to Liquid Haskell
nikivazou/hscolour
hscolour is a small Haskell script to colourise Haskell code
nikivazou/documents
Public repository.
nikivazou/presentation-hopa13
Tutorial: Type-Based Analysis of Higher-Order Programs
nikivazou/research_exam
Public repository.