serras

Alejandro Serrano's repositories

SparkleShare is a file sharing and collaboration tool inspired by Dropbox.

Language:C#GPL-3.016 4 11

Language:Coq12 20

Book about Haskell, Clean, Agda and Idris

Scion part for EclipseFP Class Browser

Language:Haskell9 4 12

Changed prerrequisites for making Scion work on GHC 7

Language:Haskell3 30

IDE library for Haskell based on the GHC API.

Language:Haskell2 10

Program that handles debugging for EclipseFP

Language:Haskell2 40

HTML, CSS, and JS toolkit from Twitter

Language:JavaScriptNOASSERTION1 40

Library for accessing Github with C#

Language:C#1 20

Framework for running and organising QuickCheck test properties and HUnit test cases

Language:Haskell1 30