diff --git a/ChangeLog.md b/ChangeLog.md
new file mode 100644
--- /dev/null
+++ b/ChangeLog.md
@@ -0,0 +1,3 @@
+# Changelog for implicit-hie-cradle
+
+## Unreleased changes
diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,30 @@
+Copyright Avi Dessauer (c) 2020
+
+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 Avi Dessauer 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 @@
+# implicit-hie-cradle
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/implicit-hie-cradle.cabal b/implicit-hie-cradle.cabal
new file mode 100644
--- /dev/null
+++ b/implicit-hie-cradle.cabal
@@ -0,0 +1,73 @@
+cabal-version:      1.12
+
+-- This file has been generated from package.yaml by hpack version 0.33.0.
+--
+-- see: https://github.com/sol/hpack
+--
+-- hash: 5c092074b2128d5593e67e2ace6e214ab27a89b73a7a71a71b212a4b34868b86
+
+name:               implicit-hie-cradle
+version:            0.1.0.0
+description:        Auto generate a stack or cabal multi component cradles
+category:           Development, Tools, Hie, HLS
+synopsis:           Auto generate hie-bios cradles
+homepage:           https://github.com/Avi-D-coder/implicit-hie-cradle#readme
+bug-reports:        https://github.com/Avi-D-coder/implicit-hie-cradle/issues
+author:             Avi Dessauer
+maintainer:         avi.the.coder@gmail.com
+copyright:          2020
+license:            BSD3
+license-file:       LICENSE
+build-type:         Simple
+extra-source-files:
+  README.md
+  ChangeLog.md
+
+source-repository head
+  type:     git
+  location: https://github.com/Avi-D-coder/implicit-hie-cradle
+
+library
+  exposed-modules:  Hie.Implicit.Cradle
+  other-modules:    Paths_implicit_hie_cradle
+  autogen-modules:  Paths_implicit_hie_cradle
+  hs-source-dirs:   src
+  build-depends:
+      base                  >=4.8    && <5
+    , base16-bytestring     >=0.1.1  && <0.2
+    , bytestring            >=0.10.8 && <0.11
+    , containers            >=0.5.10 && <0.7
+    , directory             >=1.3.0  && <1.4
+    , extra                 >=1.6.14 && <1.8
+    , filepath              >=1.4.1  && <1.5
+    , hie-bios              >=0.5.1
+    , hslogger              >=1.2    && <1.4
+    , implicit-hie
+    , process               >=1.6.1  && <1.7
+    , temporary             >=1.2    && <1.4
+    , text                  >=1.2.3  && <1.3
+    , time                  >=1.8.0  && <1.10
+    , transformers          >=0.5.2  && <0.6
+    , unix-compat           >=0.5.1  && <0.6
+    , unordered-containers  >=0.2.9  && <0.3
+    , vector                >=0.12.0 && <0.13
+    , yaml                  >=0.8.32 && <0.12
+
+  default-language: Haskell2010
+  ghc-options:
+    -Wall -Wincomplete-record-updates -Wincomplete-uni-patterns
+    -fno-warn-unused-imports -fno-warn-unused-binds
+    -fno-warn-name-shadowing -fwarn-redundant-constraints
+
+test-suite implicit-hie-cradle-test
+  type:             exitcode-stdio-1.0
+  main-is:          Spec.hs
+  other-modules:    Paths_implicit_hie_cradle
+  autogen-modules:  Paths_implicit_hie_cradle
+  hs-source-dirs:   test
+  ghc-options:      -threaded -rtsopts -with-rtsopts=-N
+  build-depends:
+      base                 >=4.7 && <5
+    , implicit-hie-cradle
+
+  default-language: Haskell2010
diff --git a/src/Hie/Implicit/Cradle.hs b/src/Hie/Implicit/Cradle.hs
new file mode 100644
--- /dev/null
+++ b/src/Hie/Implicit/Cradle.hs
@@ -0,0 +1,181 @@
+{-# LANGUAGE ScopedTypeVariables #-}
+
+-- Code is derived from https://github.com/mpickering/hie-bios/blob/master/src/HIE/Bios/Cradle.hs
+-- git commit: 6460ab40709fe5cc6209b2094d32f80d46c889fd
+-- Derived code subject to hie-bios's BSD 3-Clause "New" or "Revised" License
+-- Hie-bios's license is distributed with the hie-bios dependency
+-- Initial differences can be found at https://github.com/mpickering/hie-bios/pull/178
+
+module Hie.Implicit.Cradle
+  ( loadImplicitHieCradle,
+  )
+where
+
+import Control.Applicative ((<|>))
+import Control.Exception (handleJust)
+import Control.Monad
+import Control.Monad.IO.Class
+import Control.Monad.Trans.Maybe
+import Data.List
+import Data.Maybe
+import Data.Ord (Down (..))
+import qualified Data.Text as T
+import Data.Void
+import qualified Data.Yaml as Yaml
+import GHC.Fingerprint (fingerprintString)
+import HIE.Bios.Config
+import HIE.Bios.Cradle
+import HIE.Bios.Environment (getCacheDir)
+import HIE.Bios.Types hiding (ActionName (..))
+import qualified HIE.Bios.Types as Types
+import HIE.Bios.Wrappers
+import Hie.Cabal.Parser
+import Hie.Locate
+import Hie.Yaml
+import System.Directory hiding (findFile)
+import System.Environment
+import System.Exit
+import System.FilePath
+import System.IO
+import System.IO.Error (isPermissionError)
+import System.IO.Temp
+import System.Info.Extra (isWindows)
+import System.PosixCompat.Files
+import System.Process
+
+-- | Given root\/foo\/bar.hs, load an implicit cradle
+loadImplicitHieCradle :: FilePath -> IO (Cradle a)
+loadImplicitHieCradle wfile = do
+  let wdir = takeDirectory wfile
+  cfg <- runMaybeT (implicitConfig wdir)
+  return $ case cfg of
+    Just bc -> getCradle absurd bc
+    Nothing -> defaultCradle wdir
+
+implicitConfig :: FilePath -> MaybeT IO (CradleConfig a, FilePath)
+implicitConfig fp = do
+  (crdType, wdir) <- implicitConfig' fp
+  return (CradleConfig [] crdType, wdir)
+
+implicitConfig' :: FilePath -> MaybeT IO (CradleType a, FilePath)
+implicitConfig' fp =
+  ( \wdir ->
+      (Bios (wdir </> ".hie-bios") Nothing, wdir)
+  )
+    <$> biosWorkDir fp
+    --   <|> (Obelisk,) <$> obeliskWorkDir fp
+    --   <|> (Bazel,) <$> rulesHaskellWorkDir fp
+    <|> (cabalExecutable >> cabalProjectDir fp >> cabalDistDir fp >>= cabal)
+    <|> (stackExecutable >> stackYamlDir fp >> stackWorkDir fp >>= stack)
+    <|> (cabalExecutable >> cabalProjectDir fp >>= cabal)
+    <|> (stackExecutable >> stackYamlDir fp >>= stack)
+    <|> (cabalExecutable >> cabalFile fp >>= cabal)
+  where
+    readPkgs f gp p = do
+      cfs <- gp p
+      pkgs <- liftIO $ catMaybes <$> mapM (nestedPkg p) cfs
+      pure $ concatMap (components f) pkgs
+    build cn cc gp p = do
+      c <- cn <$> readPkgs cc gp p
+      pure (c, p)
+    cabal :: FilePath -> MaybeT IO (CradleType a, FilePath)
+    cabal = build CabalMulti cabalComponent cabalPkgs
+    stack = build StackMulti stackComponent stackYamlPkgs
+    components f (Package n cs) = map (f n) cs
+
+------------------------------------------------------------------------
+-- Cabal Cradle
+-- Works for new-build by invoking `v2-repl` does not support components
+-- yet.
+cabalCradleDependencies :: FilePath -> IO [FilePath]
+cabalCradleDependencies rootDir = do
+  cabalFiles <- findCabalFiles rootDir
+  return $ cabalFiles ++ ["cabal.project", "cabal.project.local"]
+
+findCabalFiles :: FilePath -> IO [FilePath]
+findCabalFiles wdir = do
+  dirContent <- listDirectory wdir
+  return $ filter ((== ".cabal") . takeExtension) dirContent
+
+-- | GHC process information.
+-- Consists of the filepath to the ghc executable and
+-- arguments to the executable.
+type GhcProc = (FilePath, [String])
+
+cabalExecutable :: MaybeT IO FilePath
+cabalExecutable = MaybeT $ findExecutable "cabal"
+
+cabalDistDir :: FilePath -> MaybeT IO FilePath
+cabalDistDir = findFileUpwards isCabal
+  where
+    -- TODO do old style dist builds work?
+    isCabal name = name == "dist-newstyle" || name == "dist"
+
+cabalProjectDir :: FilePath -> MaybeT IO FilePath
+cabalProjectDir = findFileUpwards isCabal
+  where
+    isCabal name = name == "cabal.project"
+
+cabalFile :: FilePath -> MaybeT IO FilePath
+cabalFile = findFileUpwards isCabal
+  where
+    isCabal = (".cabal" ==) . takeExtension
+
+------------------------------------------------------------------------
+-- Stack Cradle
+-- Works for by invoking `stack repl` with a wrapper script
+
+stackCradleDependencies :: FilePath -> IO [FilePath]
+stackCradleDependencies wdir = do
+  cabalFiles <- findCabalFiles wdir
+  return $ cabalFiles ++ ["package.yaml", "stack.yaml"]
+
+combineExitCodes :: [ExitCode] -> ExitCode
+combineExitCodes = foldr go ExitSuccess
+  where
+    go ExitSuccess b = b
+    go a _ = a
+
+stackExecutable :: MaybeT IO FilePath
+stackExecutable = MaybeT $ findExecutable "stack"
+
+stackWorkDir :: FilePath -> MaybeT IO FilePath
+stackWorkDir = findFileUpwards isStack
+  where
+    isStack name = name == ".stack-work"
+
+stackYamlDir :: FilePath -> MaybeT IO FilePath
+stackYamlDir = findFileUpwards isStack
+  where
+    isStack name = name == "stack.yaml"
+
+-- | Searches upwards for the first directory containing a file to match
+-- the predicate.
+findFileUpwards :: (FilePath -> Bool) -> FilePath -> MaybeT IO FilePath
+findFileUpwards p dir = do
+  cnts <-
+    liftIO $
+      handleJust
+        -- Catch permission errors
+        (\(e :: IOError) -> if isPermissionError e then Just [] else Nothing)
+        pure
+        (findFile p dir)
+  case cnts of
+    []
+      | dir' == dir -> fail "No cabal files"
+      | otherwise -> findFileUpwards p dir'
+    _ : _ -> return dir
+  where
+    dir' = takeDirectory dir
+
+-- | Sees if any file in the directory matches the predicate
+findFile :: (FilePath -> Bool) -> FilePath -> IO [FilePath]
+findFile p dir = do
+  b <- doesDirectoryExist dir
+  if b then getFiles else pure []
+  where
+    getFiles = filter p <$> getDirectoryContents dir
+    doesPredFileExist file = doesFileExist $ dir </> file
+
+biosWorkDir :: FilePath -> MaybeT IO FilePath
+biosWorkDir = findFileUpwards (".hie-bios" ==)
diff --git a/test/Spec.hs b/test/Spec.hs
new file mode 100644
--- /dev/null
+++ b/test/Spec.hs
@@ -0,0 +1,2 @@
+main :: IO ()
+main = putStrLn "Test suite not yet implemented"