diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,6 @@
+# Revision history for template-haskell-lift
+
+## 0.1.0.0 -- YYYY-mm-dd
+
+* First version. Released on an unsuspecting world.
+  Implements [GHC Proposal 696](https://github.com/ghc-proposals/ghc-proposals/pull/696)
diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,26 @@
+Copyright (c) 2025, template-haskell-lift contributors
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are
+met:
+
+1. Redistributions of source code must retain the above copyright
+   notice, this list of conditions and the following disclaimer.
+
+2. 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.
+
+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/src/Language/Haskell/TH/Lift.hs b/src/Language/Haskell/TH/Lift.hs
new file mode 100644
--- /dev/null
+++ b/src/Language/Haskell/TH/Lift.hs
@@ -0,0 +1,73 @@
+{-# LANGUAGE Trustworthy #-}
+{-# LANGUAGE TemplateHaskellQuotes #-}
+{-# LANGUAGE CPP #-}
+{-# LANGUAGE ConstraintKinds #-}
+{-# LANGUAGE GADTs #-}
+{-# LANGUAGE MagicHash #-}
+
+module Language.Haskell.TH.Lift
+  ( Lift(..)
+  , Q
+  , Code
+  , Quote
+  , Exp
+  -- * Compatibilty shims
+  , defaultLiftTyped
+  , liftAddrCompat
+  , liftIntCompat
+  ) where
+
+import GHC.Exts (Int(..))
+import Data.Word (Word8)
+#if  __GLASGOW_HASKELL__ < 810
+import Foreign.Ptr (plusPtr)
+import Foreign.Storable (peek)
+import Foreign.ForeignPtr (withForeignPtr)
+import System.IO.Unsafe (unsafePerformIO)
+#endif
+import Foreign.ForeignPtr (ForeignPtr)
+#if __GLASGOW_HASKELL__ >= 912
+import GHC.Internal.TH.Lift
+import GHC.Internal.TH.Syntax
+#else
+import Language.Haskell.TH.Syntax
+#endif
+
+
+-- Quote and Code are introduced in GHC-9.0/template-haskell-2.17
+-- If we are using an older version, it is basically synonymous with 'Q'
+#if __GLASGOW_HASKELL__ < 900
+type Quote m = (Q ~ m)
+type Code m a = m (TExp a)
+#endif
+
+-- | Convert an implementation of 'lift' into one for 'liftTyped'.
+#if  __GLASGOW_HASKELL__ >= 900
+defaultLiftTyped :: (Lift a, Quote m) => a -> Code m a
+defaultLiftTyped x = unsafeCodeCoerce (lift x)
+-- template-haskell >= 2.17
+#else
+defaultLiftTyped :: (Lift a, Quote m) => a -> Q (TExp a)
+defaultLiftTyped x = unsafeTExpCoerce (lift x)
+-- template-haskell >= 2.16
+#endif
+
+-- | A compatibility shim for lifting an 'Addr#' value.
+liftAddrCompat :: Quote m => ForeignPtr Word8 -> Word -> Word -> m Exp
+liftAddrCompat fptr off len =
+#if  __GLASGOW_HASKELL__ >= 810
+     pure $ LitE $ BytesPrimL $ Bytes fptr off len
+#else
+     do
+       let
+         loop !ptr 0 xs = pure $ reverse xs
+         loop !ptr !len xs = do
+           x <- peek ptr
+           loop (ptr `plusPtr` 1) (len -1) (x:xs)
+       let words = unsafePerformIO $ withForeignPtr fptr $ \ptr -> loop (ptr `plusPtr` (fromIntegral off)) len []
+       pure $ LitE $ StringPrimL $ words
+#endif
+
+-- | A compatibility shim for lifting an 'Int' value without triggering bugs if @RebindableSyntax@ is used in a module.
+liftIntCompat :: Quote m => Integer -> m Exp
+liftIntCompat n = pure $ AppE (ConE 'I#) (LitE (IntPrimL n))
diff --git a/template-haskell-lift.cabal b/template-haskell-lift.cabal
new file mode 100644
--- /dev/null
+++ b/template-haskell-lift.cabal
@@ -0,0 +1,33 @@
+cabal-version: 3.0
+name: template-haskell-lift
+version: 0.1.0.0
+synopsis: The 'Lift' typeclass.
+description: The stable home of TemplateHaskell's 'Lift' typeclass, which implements cross-stage persistence for Template Haskell.
+category: Development
+license: BSD-2-Clause
+license-file: LICENSE
+author: Teo Camarasu
+maintainer: Teo Camarasu <teofilcamarasu@gmail.com>, GHC developers <ghc-devs@haskell.org>
+copyright: template-haskell-lift contributors
+bug-reports: https://gitlab.haskell.org/ghc/template-haskell-lift/-/issues
+build-type: Simple
+extra-doc-files: CHANGELOG.md
+tested-with:
+  ghc ==8.10.7 || ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.7 || ==9.8.4 || ==9.10.2 || ==9.12.2
+
+source-repository head
+  type: git
+  location: https://gitlab.haskell.org/ghc/template-haskell-lift.git
+
+library
+  ghc-options: -Wall
+  exposed-modules: Language.Haskell.TH.Lift
+  build-depends: base >=4.14 && <4.22
+
+  if impl(ghc >=9.12)
+    build-depends: ghc-internal >=9.1000 && <9.1600
+  else
+    build-depends: template-haskell >=2.16 && <2.23
+
+  hs-source-dirs: src
+  default-language: Haskell2010