diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,31 @@
+Copyright Fernando Brujo Benavides 2009
+
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+    * Redistributions of source code must retain the above copyright
+      notice, this list of conditions and the following disclaimer.
+
+    * Redistributions in binary form must reproduce the above
+      copyright notice, this list of conditions and the following
+      disclaimer in the documentation and/or other materials provided
+      with the distribution.
+
+    * Neither the name of Fernando Brujo Benavides nor the names of other
+      contributors may be used to endorse or promote products derived
+      from this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
diff --git a/README b/README
new file mode 100644
--- /dev/null
+++ b/README
@@ -0,0 +1,2 @@
+This library provides a server process (implemented using eprocess) that can receive and run actions in the Interpreter monad.
+See http://hackage.haskell.org/package/hint-server
diff --git a/Setup.hs b/Setup.hs
new file mode 100644
--- /dev/null
+++ b/Setup.hs
@@ -0,0 +1,2 @@
+import Distribution.Simple
+main = defaultMain
diff --git a/hint-server.cabal b/hint-server.cabal
new file mode 100644
--- /dev/null
+++ b/hint-server.cabal
@@ -0,0 +1,34 @@
+name: hint-server
+version: 1.0.0
+cabal-version: >=1.6
+build-type: Simple
+license: BSD3
+license-file: LICENSE
+copyright: 2009 Fernando "Brujo" Benavides
+maintainer: greenmellon@gmail.com
+stability: stable
+package-url: http://code.haskell.org/hint-server
+bug-reports: http://github.com/elbrujohalcon/hint-server/issues
+synopsis: A server process that runs hint.
+description: This library provides a server process (implemented using eprocess) that can receive and run actions in the Interpreter monad.
+category: Concurrency, Language, Compilers/Interpreters
+author: Fernando "Brujo" Benavides
+tested-with: GHC ==6.10.3, GHC ==6.10.4
+data-files: LICENSE README
+data-dir: ""
+extra-source-files: Setup.hs
+extra-tmp-files:
+
+source-repository head
+    type:     git
+    location: git://github.com/elbrujohalcon/hint-server.git
+
+Library
+    build-depends: base >= 4,                   base < 5,
+                   mtl >=1.1.0,                 mtl < 1.2,
+                   monad-loops >=0.3.0,         monad-loops < 0.4,
+                   hint >=0.3.1,                hint < 0.4,
+                   eprocess >=1.0.0,            eprocess < 2
+    exposed-modules: Language.Haskell.Interpreter.Server
+    hs-source-dirs: src
+    
diff --git a/src/Language/Haskell/Interpreter/Server.hs b/src/Language/Haskell/Interpreter/Server.hs
new file mode 100644
--- /dev/null
+++ b/src/Language/Haskell/Interpreter/Server.hs
@@ -0,0 +1,84 @@
+-- | This module provides a server process (implemented using eprocess) that can receive and run actions in the Interpreter monad.
+module Language.Haskell.Interpreter.Server (
+-- * Types
+        ServerHandle,
+-- * Functions
+        start, stop, runIn, asyncRunIn, flush
+    ) where
+
+import Control.Concurrent.MVar
+import Control.Monad.Error
+import Control.Monad.Loops
+import Control.Concurrent.Process
+import Language.Haskell.Interpreter
+
+-- | The server handle.  It's returned on process creation and should be used
+-- afterwards to send messages to it
+newtype ServerHandle = SH {handle :: Handle (Either Stop (InterpreterT IO ()))}
+
+data Stop = Stop
+
+instance MonadInterpreter m => MonadInterpreter (ReceiverT r m) where
+    fromSession = lift . fromSession
+    modifySessionRef a = lift . (modifySessionRef a)
+    runGhc = lift . runGhc 
+
+-- | Starts the server. Usage:
+-- @
+--      handle <- start
+-- @
+start :: IO ServerHandle
+start = (spawn $ makeProcess runInterpreter interpreter) >>= return . SH
+    where interpreter =
+            do
+                setImports ["Prelude"]
+                iterateWhile id $ do
+                                    v <- recv
+                                    case v of
+                                        Left Stop ->
+                                            return False
+                                        Right acc ->
+                                            lift acc >> return True
+
+-- | Asynchronically runs an action and returns the /MVar/ that will be filled
+-- with the result when it's there. Usage:
+-- @
+--      mvar <- asyncRunIn serverhandle action
+-- @
+asyncRunIn :: ServerHandle              -- ^ The handle of the server that will run the action
+            -> InterpreterT IO a        -- ^ The action to be run
+            -> IO (MVar (Either InterpreterError a))
+asyncRunIn server action = do
+                                resVar <- liftIO newEmptyMVar
+                                sendTo (handle server) $ Right $ try action >>= liftIO . putMVar resVar
+                                return resVar
+
+-- | Runs the action. Usage:
+-- @
+--      result <- runIn serverhandle action
+-- @
+runIn :: ServerHandle       -- ^ The handle of the server that will run the action
+       -> InterpreterT IO a -- ^ The action to be run
+       -> IO (Either InterpreterError a)
+runIn server action = runHere $ do
+                                    me <- self
+                                    sendTo (handle server) $ Right $ try action >>= sendTo me
+                                    recv
+
+-- | Runs all the pending actions (those that where run using 'asyncRunIn'. Usage:
+-- @
+--      flush serverhandle
+-- @
+flush :: ServerHandle                    -- ^ The handle of the server that will run the action
+      -> IO (Either InterpreterError ()) -- ^ The meaningful results are stored in the corresponding mvars
+flush server = runIn server $ return ()
+
+try :: InterpreterT IO b -> InterpreterT IO (Either InterpreterError b)
+try a = (a >>= return . Right) `catchError` (return . Left)
+
+-- | Stops the server. Usage:
+-- @
+--      stop serverhandle
+-- @
+stop :: ServerHandle -> IO ()
+stop server = sendTo (handle server) $ Left Stop