commit c29aedbdd8a1d6f559d744d07bc98dfd32a20fae
Author: Nina Chlóe Kassandra Reiß <nina.reiss@nickr.eu>
Date:   Wed Jun 10 10:46:39 2026 +0200

    init

diff --git a/alire.toml b/alire.toml
new file mode 100644
index 0000000..8ee8c1d
--- /dev/null
+++ b/alire.toml
@@ -0,0 +1,10 @@
+name = "grl"
+description = "Spark verified Geo and Routing Library (GRL)"
+version = "0.1.0-dev"
+
+authors = ["Nina Reiss"]
+maintainers = ["Nina Reiss <nina.reiss@nickr.eu>"]
+maintainers-logins = ["nichkara"]
+licenses = "MIT"
+website = ""
+tags = ["routing", "geo", "coordinates", "geography", "graph", "pathfinding", "spark"]
diff --git a/grl.gpr b/grl.gpr
new file mode 100644
index 0000000..ee2ff1b
--- /dev/null
+++ b/grl.gpr
@@ -0,0 +1,29 @@
+with "config/grl_config.gpr";
+project Grl is
+
+   for Library_Name use "Grl";
+   for Library_Version use Project'Library_Name & ".so." & Grl_Config.Crate_Version;
+
+   for Source_Dirs use ("src/", "config/");
+   for Object_Dir use "obj/" & Grl_Config.Build_Profile;
+   for Create_Missing_Dirs use "True";
+   for Library_Dir use "lib";
+
+   type Library_Type_Type is ("relocatable", "static", "static-pic");
+   Library_Type : Library_Type_Type :=
+     external ("GRL_LIBRARY_TYPE", external ("LIBRARY_TYPE", "static"));
+   for Library_Kind use Library_Type;
+
+   package Compiler is
+      for Default_Switches ("Ada") use Grl_Config.Ada_Compiler_Switches;
+   end Compiler;
+
+   package Binder is
+      for Switches ("Ada") use ("-Es"); --  Symbolic traceback
+   end Binder;
+
+   package Install is
+      for Artifacts (".") use ("share");
+   end Install;
+
+end Grl;
diff --git a/src/grl.ads b/src/grl.ads
new file mode 100644
index 0000000..1281d46
--- /dev/null
+++ b/src/grl.ads
@@ -0,0 +1,3 @@
+package Grl is
+
+end Grl;