diff --git a/ChangeLog.md b/ChangeLog.md
new file mode 100644
--- /dev/null
+++ b/ChangeLog.md
@@ -0,0 +1,5 @@
+# Revision history for front
+
+## 0.0.0.1 -- YYYY-mm-dd
+
+* First version. Released on an unsuspecting world.
diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,30 @@
+Copyright (c) 2019, Andrey Prokopenko
+
+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 Andrey Prokopenko 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.md b/README.md
new file mode 100644
--- /dev/null
+++ b/README.md
@@ -0,0 +1,1 @@
+# front
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/front.cabal b/front.cabal
new file mode 100644
--- /dev/null
+++ b/front.cabal
@@ -0,0 +1,43 @@
+-- Initial front.cabal generated by cabal init. For further documentation,
+-- see http://haskell.org/cabal/users-guide/
+
+name: front
+version: 0.0.0.1
+synopsis: A reactive frontend web framework
+description: A reactive frontend web framework. See haskell-front.org for more details.
+homepage: haskell-front.org
+license: BSD3
+license-file: LICENSE
+author: Andrey Prokopenko
+maintainer: persiantiger@yandex.ru
+-- copyright:
+category: Web
+build-type: Simple
+extra-source-files: ChangeLog.md, README.md
+cabal-version: >=1.10
+
+source-repository head
+ type: git
+ location: https://github.com/swamp-agr/front.git
+
+library
+ exposed-modules: Text.Blaze.Front
+ , Text.Blaze.Front.Svg
+ , Text.Blaze.Front.Internal
+ , Text.Blaze.Front.Html5
+ , Text.Blaze.Front.Svg.Attributes
+ , Text.Blaze.Front.Html5.Attributes
+ , Text.Blaze.Front.Event
+ , Text.Blaze.Front.Renderer
+ -- shared
+ , Bridge
+ -- other-modules:
+ other-extensions: FlexibleInstances, TypeSynonymInstances, OverloadedStrings, GeneralizedNewtypeDeriving, Rank2Types, ExistentialQuantification, DeriveDataTypeable, MultiParamTypeClasses, DeriveFunctor, FunctionalDependencies, ScopedTypeVariables
+ build-depends: base >=4.11 && <4.12
+ , text >=1.2 && <1.3
+ , bytestring >=0.10 && <0.11
+ , blaze-markup >=0.8 && <0.10
+ , blaze-html >=0.9 && <0.10
+ , fay >= 0.24.0.2
+ hs-source-dirs: src, shared
+ default-language: Haskell2010
diff --git a/shared/Bridge.hs b/shared/Bridge.hs
new file mode 100644
--- /dev/null
+++ b/shared/Bridge.hs
@@ -0,0 +1,64 @@
+{-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE DeriveDataTypeable #-}
+{-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE DeriveFunctor #-}
+{-# LANGUAGE CPP #-}
+module Bridge where
+
+import Prelude
+
+import Data.Data
+
+-- | One specific and incomplete specifications of event-handlers geared
+-- towards their use with JS.
+data EventHandler a
+ = OnKeyDown !a
+ | OnKeyUp !a
+ | OnKeyPress !a
+ | OnFocus !a
+ | OnBlur !a
+ | OnValueChange !a
+ | OnCheckedChange !a
+ | OnSelectedChange !a
+ | OnSubmit !a
+ | OnClick !a
+ | OnDoubleClick !a
+ | OnMouseDown !a
+ | OnMouseUp !a
+ | OnMouseMove !a
+ | OnMouseEnter !a
+ | OnMouseLeave !a
+ | OnMouseOver !a
+ | OnMouseOut !a
+ | OnScroll !a
+ | OnWheel !a
+
+ -- TODO: Implement these
+ -- OnCopy ([File] -> IO a)
+ -- OnCut ([File] -> IO a)
+ -- OnPaste ([File] -> IO a)
+
+ -- TODO: Implement these.
+ -- OnDrag ([File] -> IO a)
+ -- OnDragEnd ([File] -> IO a)
+ -- OnDragEnter ([File] -> IO a)
+ -- OnDragExit ([File] -> IO a)
+ -- OnDragLeave ([File] -> IO a)
+ -- OnDragOver ([File] -> IO a)
+ -- OnDragStart ([File] -> IO a)
+ -- OnDrop ([File] -> IO a)
+
+ -- TODO: add more events.
+
+#ifdef FAY
+ deriving (Typeable, Data)
+#else
+ deriving (Functor, Typeable, Data)
+#endif
+
+data CallbackAction a = CallbackAction (EventHandler a)
+#ifdef FAY
+ deriving (Typeable, Data)
+#else
+ deriving (Typeable, Data)
+#endif
diff --git a/src/Text/Blaze/Front.hs b/src/Text/Blaze/Front.hs
new file mode 100644
--- /dev/null
+++ b/src/Text/Blaze/Front.hs
@@ -0,0 +1,238 @@
+{-# LANGUAGE FlexibleInstances, TypeSynonymInstances #-}
+-- | BlazeMarkup is a markup combinator library. It provides a way to embed
+-- markup languages like HTML and SVG in Haskell in an efficient and convenient
+-- way, with a light-weight syntax.
+--
+-- To use the library, one needs to import a set of combinators. For example,
+-- you can use HTML 4 Strict from BlazeHtml package.
+--
+-- > {-# LANGUAGE OverloadedStrings #-}
+-- > import Prelude hiding (head, id, div)
+-- > import Text.Blaze.Html4.Strict hiding (map)
+-- > import Text.Blaze.Html4.Strict.Attributes hiding (title)
+--
+-- To render the page later on, you need a so called Renderer. The recommended
+-- renderer is an UTF-8 renderer which produces a lazy bytestring.
+--
+-- > import Text.Blaze.Renderer.Utf8 (renderMarkup)
+--
+-- Now, you can describe pages using the imported combinators.
+--
+-- > page1 :: Markup
+-- > page1 = html $ do
+-- > head $ do
+-- > title "Introduction page."
+-- > link ! rel "stylesheet" ! type_ "text/css" ! href "screen.css"
+-- > body $ do
+-- > div ! id "header" $ "Syntax"
+-- > p "This is an example of BlazeMarkup syntax."
+-- > ul $ mapM_ (li . toMarkup . show) [1, 2, 3]
+--
+-- The resulting HTML can now be extracted using:
+--
+-- > renderMarkup page1
+--
+module Text.Blaze.Front
+ (
+ -- * Important types.
+ Markup
+ , Tag
+ , Attribute
+ , AttributeValue
+
+ -- * Creating attributes.
+ , dataAttribute
+ , customAttribute
+
+ -- * Converting values to Markup.
+ , ToMarkup (..)
+ , unsafeByteString
+ , unsafeLazyByteString
+
+ -- * Creating tags.
+ , textTag
+ , stringTag
+
+ -- * Converting values to attribute values.
+ , ToValue (..)
+ , unsafeByteStringValue
+ , unsafeLazyByteStringValue
+
+ -- * Setting attributes
+ , (!)
+ , (!?)
+
+ -- * Modifiying Markup trees
+ , contents
+ ) where
+
+import Data.Int (Int32, Int64)
+import Data.Word (Word, Word32, Word64)
+
+import Data.Text (Text)
+import qualified Data.Text.Lazy as LT
+
+import Prelude
+import Text.Blaze.Front.Internal
+
+-- | Class allowing us to use a single function for Markup values
+--
+class ToMarkup a where
+ -- | Convert a value to Markup.
+ --
+ toMarkup :: a -> Markup ev
+
+ -- | Convert a value to Markup without escaping
+ --
+ preEscapedToMarkup :: a -> Markup ev
+ preEscapedToMarkup = toMarkup
+ {-# INLINE preEscapedToMarkup #-}
+
+-- instance ToMarkup (Markup ev) where
+-- toMarkup = id
+-- {-# INLINE toMarkup #-}
+--
+-- instance ToMarkup [Markup ev] where
+-- toMarkup = mconcat
+-- {-# INLINE toMarkup #-}
+
+instance ToMarkup Text where
+ toMarkup = text
+ {-# INLINE toMarkup #-}
+ preEscapedToMarkup = preEscapedText
+ {-# INLINE preEscapedToMarkup #-}
+
+instance ToMarkup LT.Text where
+ toMarkup = lazyText
+ {-# INLINE toMarkup #-}
+ preEscapedToMarkup = preEscapedLazyText
+ {-# INLINE preEscapedToMarkup #-}
+
+instance ToMarkup String where
+ toMarkup = string
+ {-# INLINE toMarkup #-}
+ preEscapedToMarkup = preEscapedString
+ {-# INLINE preEscapedToMarkup #-}
+
+instance ToMarkup Int where
+ toMarkup = string . show
+ {-# INLINE toMarkup #-}
+
+instance ToMarkup Int32 where
+ toMarkup = string . show
+ {-# INLINE toMarkup #-}
+
+instance ToMarkup Int64 where
+ toMarkup = string . show
+ {-# INLINE toMarkup #-}
+
+instance ToMarkup Char where
+ toMarkup = string . return
+ {-# INLINE toMarkup #-}
+
+instance ToMarkup Bool where
+ toMarkup = string . show
+ {-# INLINE toMarkup #-}
+
+instance ToMarkup Integer where
+ toMarkup = string . show
+ {-# INLINE toMarkup #-}
+
+instance ToMarkup Float where
+ toMarkup = string . show
+ {-# INLINE toMarkup #-}
+
+instance ToMarkup Double where
+ toMarkup = string . show
+ {-# INLINE toMarkup #-}
+
+instance ToMarkup Word where
+ toMarkup = string . show
+ {-# INLINE toMarkup #-}
+
+instance ToMarkup Word32 where
+ toMarkup = string . show
+ {-# INLINE toMarkup #-}
+
+instance ToMarkup Word64 where
+ toMarkup = string . show
+ {-# INLINE toMarkup #-}
+
+-- | Class allowing us to use a single function for attribute values
+--
+class ToValue a where
+ -- | Convert a value to an attribute value
+ --
+ toValue :: a -> AttributeValue
+
+ -- | Convert a value to an attribute value without escaping
+ --
+ preEscapedToValue :: a -> AttributeValue
+ preEscapedToValue = toValue
+ {-# INLINE preEscapedToValue #-}
+
+instance ToValue AttributeValue where
+ toValue = id
+ {-# INLINE toValue #-}
+
+instance ToValue Text where
+ toValue = textValue
+ {-# INLINE toValue #-}
+ preEscapedToValue = preEscapedTextValue
+ {-# INLINE preEscapedToValue #-}
+
+instance ToValue LT.Text where
+ toValue = lazyTextValue
+ {-# INLINE toValue #-}
+ preEscapedToValue = preEscapedLazyTextValue
+ {-# INLINE preEscapedToValue #-}
+
+instance ToValue String where
+ toValue = stringValue
+ {-# INLINE toValue #-}
+ preEscapedToValue = preEscapedStringValue
+ {-# INLINE preEscapedToValue #-}
+
+instance ToValue Int where
+ toValue = stringValue . show
+ {-# INLINE toValue #-}
+
+instance ToValue Int32 where
+ toValue = stringValue . show
+ {-# INLINE toValue #-}
+
+instance ToValue Int64 where
+ toValue = stringValue . show
+ {-# INLINE toValue #-}
+
+instance ToValue Char where
+ toValue = stringValue . return
+ {-# INLINE toValue #-}
+
+instance ToValue Bool where
+ toValue = stringValue . show
+ {-# INLINE toValue #-}
+
+instance ToValue Integer where
+ toValue = stringValue . show
+ {-# INLINE toValue #-}
+
+instance ToValue Float where
+ toValue = stringValue . show
+ {-# INLINE toValue #-}
+
+instance ToValue Double where
+ toValue = stringValue . show
+ {-# INLINE toValue #-}
+
+instance ToValue Word where
+ toValue = stringValue . show
+ {-# INLINE toValue #-}
+
+instance ToValue Word32 where
+ toValue = stringValue . show
+ {-# INLINE toValue #-}
+
+instance ToValue Word64 where
+ toValue = stringValue . show
+ {-# INLINE toValue #-}
diff --git a/src/Text/Blaze/Front/Event.hs b/src/Text/Blaze/Front/Event.hs
new file mode 100644
--- /dev/null
+++ b/src/Text/Blaze/Front/Event.hs
@@ -0,0 +1,175 @@
+{-# LANGUAGE DeriveFunctor #-}
+
+module Text.Blaze.Front.Event
+ ( -- * Event handling
+ mapActions
+
+ -- ** Keyboard events
+ , onKeyDown
+ , onKeyUp
+ , onKeyPress
+
+ -- ** Focus events
+ , onFocus
+ , onBlur
+
+ -- ** Form events
+ , onValueChange
+ , onCheckedChange
+ , onSelectedChange
+ , onSubmit
+
+ -- ** Mouse events
+ , onClick
+ , onDoubleClick
+ , onMouseDown
+ , onMouseUp
+ , onMouseMove
+ , onMouseEnter
+ , onMouseLeave
+ , onMouseOver
+ , onMouseOut
+
+ -- ** UI Events
+ , onScroll
+
+ -- ** Wheel Events
+ , onWheel
+
+ ) where
+
+import Text.Blaze.Front.Internal (MarkupM(..), Attribute(..), Markup)
+import Prelude
+
+import Bridge
+
+-- | Modify all event handlers attached to a 'Markup' tree so that the given
+-- function is applied to the return values of their callbacks.
+mapActions :: (act -> act') -> Markup act -> Markup act'
+mapActions = MapActions
+
+-- Keyboard events
+-------------------------------------------------------------------------------
+
+-- | The user has pressed a physical key while the target element was focused.
+onKeyDown :: act -> Attribute act
+onKeyDown = onEvent . OnKeyDown
+
+-- | The user has released a phyiscal key while the target element was focused.
+onKeyUp :: act -> Attribute act
+onKeyUp = onEvent . OnKeyUp
+
+-- | The user has input some ASCII character while the target element was
+onKeyPress :: act -> Attribute act
+onKeyPress = onEvent . OnKeyPress
+
+-- Focus events
+-------------------------------------------------------------------------------
+
+-- | The focus has moved to the target element.
+onFocus :: act -> Attribute act
+onFocus = onEvent . OnFocus
+
+-- | The focus has left the target element.
+onBlur :: act -> Attribute act
+onBlur = onEvent . OnBlur
+
+-- Form events
+-------------------------------------------------------------------------------
+
+-- | The 'value' property of the target element has changed. The new value is
+-- passed as a parameter to the callback. This handler is supported for
+-- ,
+--
+textarea :: Html ev -> Html ev -- ^ Resulting HTML.
+textarea = Parent "textarea" ""
+{-# INLINE textarea #-}
+
+-- WARNING: The next block of code was automatically generated by
+-- src/Util/GenerateHtmlCombinators.hs:199
+--
+-- | Combinator for the @\@ element.
+--
+-- Example:
+--
+-- > tfoot $ span $ toHtml "foo"
+--
+-- Result:
+--
+-- > foo
+--
+tfoot :: Html ev -- ^ Inner HTML.
+ -> Html ev -- ^ Resulting HTML.
+tfoot = Parent "tfoot" ""
+{-# INLINE tfoot #-}
+
+-- WARNING: The next block of code was automatically generated by
+-- src/Util/GenerateHtmlCombinators.hs:199
+--
+-- | Combinator for the @\| @ element.
+--
+-- Example:
+--
+-- > th $ span $ toHtml "foo"
+--
+-- Result:
+--
+-- > | foo |
+--
+th :: Html ev -- ^ Inner HTML.
+ -> Html ev -- ^ Resulting HTML.
+th = Parent "th" ""
+{-# INLINE th #-}
+
+-- WARNING: The next block of code was automatically generated by
+-- src/Util/GenerateHtmlCombinators.hs:199
+--
+-- | Combinator for the @\@ element.
+--
+-- Example:
+--
+-- > thead $ span $ toHtml "foo"
+--
+-- Result:
+--
+-- > foo
+--
+thead :: Html ev -- ^ Inner HTML.
+ -> Html ev -- ^ Resulting HTML.
+thead = Parent "thead" ""
+{-# INLINE thead #-}
+
+-- WARNING: The next block of code was automatically generated by
+-- src/Util/GenerateHtmlCombinators.hs:199
+--
+-- | Combinator for the @\