diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,6 @@
+# Revision history for ogma-language-csv
+
+## [1.7.0] - 2025-03-21
+
+* Version bump 1.7.0 (#269).
+* Initial release (#261).
diff --git a/LICENSE.pdf b/LICENSE.pdf
new file mode 100644
Binary files /dev/null and b/LICENSE.pdf differ
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/ogma-language-csv.cabal b/ogma-language-csv.cabal
new file mode 100644
--- /dev/null
+++ b/ogma-language-csv.cabal
@@ -0,0 +1,82 @@
+-- Copyright 2024 United States Government as represented by the Administrator
+-- of the National Aeronautics and Space Administration. All Rights Reserved.
+--
+-- Disclaimers
+--
+-- No Warranty: THE SUBJECT SOFTWARE IS PROVIDED "AS IS" WITHOUT ANY WARRANTY
+-- OF ANY KIND, EITHER EXPRESSED, IMPLIED, OR STATUTORY, INCLUDING, BUT NOT
+-- LIMITED TO, ANY WARRANTY THAT THE SUBJECT SOFTWARE WILL CONFORM TO
+-- SPECIFICATIONS, ANY IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A
+-- PARTICULAR PURPOSE, OR FREEDOM FROM INFRINGEMENT, ANY WARRANTY THAT THE
+-- SUBJECT SOFTWARE WILL BE ERROR FREE, OR ANY WARRANTY THAT DOCUMENTATION, IF
+-- PROVIDED, WILL CONFORM TO THE SUBJECT SOFTWARE. THIS AGREEMENT DOES NOT, IN
+-- ANY MANNER, CONSTITUTE AN ENDORSEMENT BY GOVERNMENT AGENCY OR ANY PRIOR
+-- RECIPIENT OF ANY RESULTS, RESULTING DESIGNS, HARDWARE, SOFTWARE PRODUCTS OR
+-- ANY OTHER APPLICATIONS RESULTING FROM USE OF THE SUBJECT SOFTWARE. FURTHER,
+-- GOVERNMENT AGENCY DISCLAIMS ALL WARRANTIES AND LIABILITIES REGARDING
+-- THIRD-PARTY SOFTWARE, IF PRESENT IN THE ORIGINAL SOFTWARE, AND DISTRIBUTES
+-- IT "AS IS."

+--
+-- Waiver and Indemnity: RECIPIENT AGREES TO WAIVE ANY AND ALL CLAIMS AGAINST
+-- THE UNITED STATES GOVERNMENT, ITS CONTRACTORS AND SUBCONTRACTORS, AS WELL AS
+-- ANY PRIOR RECIPIENT. IF RECIPIENT'S USE OF THE SUBJECT SOFTWARE RESULTS IN
+-- ANY LIABILITIES, DEMANDS, DAMAGES, EXPENSES OR LOSSES ARISING FROM SUCH USE,
+-- INCLUDING ANY DAMAGES FROM PRODUCTS BASED ON, OR RESULTING FROM, RECIPIENT'S
+-- USE OF THE SUBJECT SOFTWARE, RECIPIENT SHALL INDEMNIFY AND HOLD HARMLESS THE
+-- UNITED STATES GOVERNMENT, ITS CONTRACTORS AND SUBCONTRACTORS, AS WELL AS ANY
+-- PRIOR RECIPIENT, TO THE EXTENT PERMITTED BY LAW. RECIPIENT'S SOLE REMEDY
+-- FOR ANY SUCH MATTER SHALL BE THE IMMEDIATE, UNILATERAL TERMINATION OF THIS
+-- AGREEMENT.
+
+cabal-version:       2.0
+build-type:          Simple
+
+name:                ogma-language-csv
+version:             1.7.0
+homepage:            https://github.com/nasa/ogma
+license:             OtherLicense
+license-file:        LICENSE.pdf
+author:              Ivan Perez, Alwyn Goodloe
+maintainer:          ivan.perezdominguez@nasa.gov
+category:            Aerospace
+extra-source-files:  CHANGELOG.md
+
+synopsis:            Ogma: Runtime Monitor translator: CSV Frontend
+
+description:         Ogma is a tool to facilitate the integration of safe runtime monitors into
+                     other systems. Ogma extends
+                     <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
+                     verification framework that generates hard real-time C99 code.
+                     .
+                     This library contains a frontend to read specs from CSV files.
+
+-- Ogma packages should be uncurated so that only the official maintainers make
+-- changes.
+--
+-- Because this is a NASA project, we want to make sure that users obtain
+-- exactly what we publish, unmodified by anyone external to our project.
+x-curation: uncurated
+
+library
+
+  exposed-modules:
+    Language.CSVSpec.Parser
+
+  build-depends:
+      base       >= 4.11.0.0 && < 5
+    , bytestring >= 0.10.8.2 && < 0.13
+    , cassava    >= 0.5      && < 0.6
+    , mtl        >= 2.2.2    && < 2.4
+    , vector     >= 0.12.0.1 && < 0.14
+    , text       >= 1.2.3.1  && < 2.2
+
+    , ogma-spec  >= 1.7.0 && < 1.8
+
+  hs-source-dirs:
+    src
+
+  default-language:
+    Haskell2010
+
+  ghc-options:
+    -Wall
diff --git a/src/Language/CSVSpec/Parser.hs b/src/Language/CSVSpec/Parser.hs
new file mode 100644
--- /dev/null
+++ b/src/Language/CSVSpec/Parser.hs
@@ -0,0 +1,113 @@
+-- {-# LANGUAGE ScopedTypeVariables #-}
+-- Copyright 2024 United States Government as represented by the Administrator
+-- of the National Aeronautics and Space Administration. All Rights Reserved.
+--
+-- No Warranty: THE SUBJECT SOFTWARE IS PROVIDED "AS IS" WITHOUT ANY WARRANTY
+-- OF ANY KIND, EITHER EXPRESSED, IMPLIED, OR STATUTORY, INCLUDING, BUT NOT
+-- LIMITED TO, ANY WARRANTY THAT THE SUBJECT SOFTWARE WILL CONFORM TO
+-- SPECIFICATIONS, ANY IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A
+-- PARTICULAR PURPOSE, OR FREEDOM FROM INFRINGEMENT, ANY WARRANTY THAT THE
+-- SUBJECT SOFTWARE WILL BE ERROR FREE, OR ANY WARRANTY THAT DOCUMENTATION, IF
+-- PROVIDED, WILL CONFORM TO THE SUBJECT SOFTWARE. THIS AGREEMENT DOES NOT, IN
+-- ANY MANNER, CONSTITUTE AN ENDORSEMENT BY GOVERNMENT AGENCY OR ANY PRIOR
+-- RECIPIENT OF ANY RESULTS, RESULTING DESIGNS, HARDWARE, SOFTWARE PRODUCTS OR
+-- ANY OTHER APPLICATIONS RESULTING FROM USE OF THE SUBJECT SOFTWARE. FURTHER,
+-- GOVERNMENT AGENCY DISCLAIMS ALL WARRANTIES AND LIABILITIES REGARDING
+-- THIRD-PARTY SOFTWARE, IF PRESENT IN THE ORIGINAL SOFTWARE, AND DISTRIBUTES
+-- IT "AS IS."
+--
+-- Waiver and Indemnity: RECIPIENT AGREES TO WAIVE ANY AND ALL CLAIMS AGAINST
+-- THE UNITED STATES GOVERNMENT, ITS CONTRACTORS AND SUBCONTRACTORS, AS WELL AS
+-- ANY PRIOR RECIPIENT. IF RECIPIENT'S USE OF THE SUBJECT SOFTWARE RESULTS IN
+-- ANY LIABILITIES, DEMANDS, DAMAGES, EXPENSES OR LOSSES ARISING FROM SUCH USE,
+-- INCLUDING ANY DAMAGES FROM PRODUCTS BASED ON, OR RESULTING FROM, RECIPIENT'S
+-- USE OF THE SUBJECT SOFTWARE, RECIPIENT SHALL INDEMNIFY AND HOLD HARMLESS THE
+-- UNITED STATES GOVERNMENT, ITS CONTRACTORS AND SUBCONTRACTORS, AS WELL AS ANY
+-- PRIOR RECIPIENT, TO THE EXTENT PERMITTED BY LAW. RECIPIENT'S SOLE REMEDY
+-- FOR ANY SUCH MATTER SHALL BE THE IMMEDIATE, UNILATERAL TERMINATION OF THIS
+-- AGREEMENT.
+
+-- | Parser for Ogma specs stored in CSV files.
+module Language.CSVSpec.Parser where
+
+-- External imports
+import           Control.Monad           (forM, sequence)
+import           Data.Csv                (HasHeader (NoHeader), Record, decode)
+import qualified Data.Text               as T
+import qualified Data.Text.Encoding      as T
+import qualified Data.Text.Lazy          as TL
+import qualified Data.Text.Lazy.Encoding as TL
+import qualified Data.Vector             as V
+
+-- External imports: ogma-spec
+import Data.OgmaSpec (Requirement (..), Spec (Spec))
+
+-- | Area of the CSV file that contains the information of interest.
+data CSVFormat = CSVFormat
+    { skipHeaders               :: Bool
+    , specRequirementId         :: Int
+    , specRequirementDesc       :: Maybe Int
+    , specRequirementExpr       :: Int
+    , specRequirementResultType :: Maybe Int
+    , specRequirementResultExpr :: Maybe Int
+    }
+  deriving (Show, Read)
+
+-- | Parse a CSV file and extract a Spec from it.
+--
+-- An auxiliary function must be provided to parse the requirement expressions.
+--
+-- Fails if any of the columns indicate a column out of range, of if the CSV is
+-- malformed.
+parseCSVSpec :: (String -> IO (Either String a)) -- ^ Parser for expressions.
+             -> a                                -- ^ Default property value.
+             -> CSVFormat                        -- ^ CSV file format spec.
+             -> String                           -- ^ String containing CSV.
+             -> IO (Either String (Spec a))
+parseCSVSpec parseExpr _defA csvFormat value = do
+  let bsToString = T.unpack . T.decodeUtf8
+      stringToBS = TL.encodeUtf8 . TL.pack
+
+  let internalVariableDefs = []
+      externalVariableDefs = []
+
+      csvData = stringToBS value
+
+  case decode NoHeader csvData of
+    Left err -> return $ Left err
+    Right v  -> do
+      let vl = V.toList (v :: V.Vector Record)
+          v' = if skipHeaders csvFormat then tail vl else vl
+      rs <- forM v' $ \row -> do
+        let rowL = V.toList row
+        expr  <- parseExpr $ bsToString $
+                  rowL !! specRequirementExpr csvFormat
+        exprR <- maybe (return $ Right Nothing)
+                       (\ix -> fmap Just <$>
+                                 (parseExpr $ bsToString $ rowL !! ix))
+                       (specRequirementResultExpr csvFormat)
+        case (expr, exprR) of
+          (Left e, _)
+            -> return $ Left $ "The CSV data could not be parsed: " ++ e
+
+          (_, Left e)
+            -> return $ Left $ "The CSV data could not be parsed: " ++ e
+
+          (Right e, Right rE) -> return $ Right $
+            Requirement
+              { requirementName =
+                  bsToString $ rowL !! specRequirementId csvFormat
+              , requirementDescription =
+                  maybe "" (bsToString . (rowL !!)) $
+                    specRequirementDesc csvFormat
+              , requirementExpr = e
+              , requirementResultType =
+                  fmap (bsToString . (rowL !!)) $
+                    specRequirementResultType csvFormat
+              , requirementResultExpr = rE
+              }
+
+      case sequence rs of
+        Left err  -> return $ Left err
+        Right rs' -> return $ Right $
+                       Spec internalVariableDefs externalVariableDefs rs'