update tools, fix many issues

.gitignore

@@ -1,6 +1,5 @@
 # ---> Hugo
 # Generated files by hugo
-/public/
 /resources/_gen/
 /assets/jsconfig.json
 hugo_stats.json

.gitmodules

@@ -0,0 +1,12 @@
+[submodule "content"]
+	path = content
+	url = https://gitmoss.fyi/fmtools/content.git
+[submodule "themes/fmtools"]
+	path = themes/fmtools
+	url = https://gitmoss.fyi/fmtools/hugo-template.git
+[submodule "public"]
+	path = public
+	url = https://gitmoss.fyi/fmtools/public.git
+[submodule "data/publications"]
+	path = data/publications
+	url = https://gitmoss.fyi/fmtools/publications.git

archetypes/default.md

@@ -0,0 +1,5 @@
++++
+date = '{{ .Date }}'
+draft = true
+title = '{{ replace .File.ContentBaseName "-" " " | title }}'
++++

hugo.toml

@@ -0,0 +1,34 @@
+baseURL = 'https://fmtools.fyi/'
+languageCode = 'en-us'
+title = 'Formal Methods Tools'
+enableEmoji = true
+theme = 'fmtools'
+
+[menus]
+  main = [
+    # { name = 'Home', url = '/', weight = 1 },
+    { name = 'Tools', url = '/tools/', weight = 2 },
+    # { name = 'Benchmarks', url = '/benchmarks/', weight = 2 },
+    { name = 'Data', url = '/taxonomies/', weight = 3 },
+    { name = 'About', url = '/about/', weight = 4 }
+  ]
+
+[taxonomies]
+  application = 'applications'
+  domain = 'domains'
+  developer = 'developers'
+  license = 'licenses'
+  interface = 'interfaces'
+  input = 'inputs'
+  technique = 'techniques'
+  maintenance = 'maintenance'
+
+  # purpose = 'purposes'
+  # language = 'languages'
+  # system = 'systems'
+  # interaction = 'interactions'
+  # # formalism = 'formalisms'
+  # testThing = 'test ing'
+
+[params]
+  banner = ":construction: This site is a work in progress. Don't be shy to submit an [issue](https://gitmoss.fyi/fmtools/content/issues/new/choose), or [fork it](https://gitmoss.fyi/fmtools/content/fork) yourself :construction:"

static/browserconfig.xml

@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="utf-8"?>
+<browserconfig><msapplication><tile><square70x70logo src="/ms-icon-70x70.png"/><square150x150logo src="/ms-icon-150x150.png"/><square310x310logo src="/ms-icon-310x310.png"/><TileColor>#ffffff</TileColor></tile></msapplication></browserconfig>

static/manifest.json

@@ -0,0 +1,41 @@
+{
+ "name": "App",
+ "icons": [
+  {
+   "src": "\/android-icon-36x36.png",
+   "sizes": "36x36",
+   "type": "image\/png",
+   "density": "0.75"
+  },
+  {
+   "src": "\/android-icon-48x48.png",
+   "sizes": "48x48",
+   "type": "image\/png",
+   "density": "1.0"
+  },
+  {
+   "src": "\/android-icon-72x72.png",
+   "sizes": "72x72",
+   "type": "image\/png",
+   "density": "1.5"
+  },
+  {
+   "src": "\/android-icon-96x96.png",
+   "sizes": "96x96",
+   "type": "image\/png",
+   "density": "2.0"
+  },
+  {
+   "src": "\/android-icon-144x144.png",
+   "sizes": "144x144",
+   "type": "image\/png",
+   "density": "3.0"
+  },
+  {
+   "src": "\/android-icon-192x192.png",
+   "sizes": "192x192",
+   "type": "image\/png",
+   "density": "4.0"
+  }
+ ]
+}