mscroggs · Apr 1, 2026 · Apr 1, 2026 · Apr 1, 2026 · Apr 1, 2026 · Apr 8, 2026
diff --git a/.github/workflows/test-and-build.yml b/.github/workflows/test-and-build.yml
@@ -133,6 +133,9 @@ jobs:
       - run: python3 verify.py --fail-on-missing-libraries --impl simplefem --assert-passing --print-reasons
         name: Check that simplefem verification passes
 
+      - run: python3 verify.py --fail-on-missing-libraries --impl simplefempp --assert-passing --print-reasons
+        name: Check that simplefem++ verification passes
+
       - run: python3 verify.py verification-serial.json --test auto --fail-on-missing-libraries
         name: Run verification test in serial
       - run: python3 verify.py verification-4.json --test auto --processes 4 --fail-on-missing-libraries

diff --git a/README.md b/README.md
@@ -37,7 +37,9 @@ is released under an [MIT license](LICENSE.txt).
 The content of the DefElement website itself (including `data/`, `elements/`, `files/`, `pages/`, `people/`)
 is released under a [Creative Commons Attribution 4.0 International (CC BY 4.0) license](LICENSE-CC.txt).
 
-Font Awesome (`files/fontawesome`) is released under a [Font Awesome Free License](files/fontawesome/LICENSE.txt).
+Font Awesome (`files/fontawesome`) is released under a [Font Awesome Free license](files/fontawesome/LICENSE.txt).
+
+The Kokkos implementation of mdspan (`defelement/implementations/jit/cpp/mdspan.hpp`) is released under an [Apache 2.0 license with LLVM exceptions](https://kokkos.org/LICENSE/).
 
 ## Archive
 Archived snapshots of code for building DefElement and website builds can be found at https://doi.org/10.5281/zenodo.17904468
diff --git a/build.py b/build.py
@@ -434,7 +434,7 @@ def write_html_page(
         libraries = [(i, j.name, j.url, j.install) for i, j in implementations.items()]
         libraries.sort(key=lambda i: i[0])
         for codename, libname, url, pip in libraries:
-            if not include_simplefem and codename == "simplefem":
+            if not include_simplefem and codename in ["simplefem", "simplefempp"]:
                 continue
             jscodename = jsify(libname)
             code_examples = {}
@@ -973,7 +973,7 @@ def write_html_page(
             if i.startswith("*(") and i.endswith(")"):
                 continue
             vs.append(i)
-            if not include_simplefem and i == "simplefem":
+            if not include_simplefem and i in ["simplefem", "simplefempp"]:
                 continue
             content += f"<td><a href='/verification/{i}.html'>{implementations[i].name}</a></td>"
             long_content += (
@@ -987,7 +987,7 @@ def write_html_page(
         row = "<tr>"
         row += f"<td><a href='/elements/{e.filename}.html'>{e.html_name}</a></td>"
         for i in vs:
-            if not include_simplefem and i == "simplefem":
+            if not include_simplefem and i in ["simplefem", "simplefempp"]:
                 continue
             row += "<td>"
             if e.filename in verification and i in verification[e.filename]:
@@ -1147,7 +1147,7 @@ def write_html_page(
                 "</tr>"
                 "</table>"
             )
-        if not include_simplefem and i == "simplefem":
+        if not include_simplefem and i in ["simplefem", "simplefempp"]:
             continue
         c += (
             "<tr>"

diff --git a/defelement/implementations/__init__.py b/defelement/implementations/__init__.py
@@ -11,6 +11,7 @@
     VariantNotImplemented,
     parse_example,
 )
+from defelement.implementations import jit
 
 __all__ = [
     "DegreeNotImplemented",

diff --git a/defelement/implementations/core.py b/defelement/implementations/core.py
@@ -267,7 +267,7 @@ def examples(cls, element: Element, language: str) -> str:
             code += "\n\n"
             if language == "python":
                 code += "# "
-            elif language in ["rust", "c++", "c"]:
+            elif language in ["rust", "cpp", "c"]:
                 code += "// "
             else:
                 raise ValueError(f"Unsupported language: {language}")

diff --git a/defelement/implementations/jit/__init__.py b/defelement/implementations/jit/__init__.py
@@ -0,0 +1,4 @@
+"""Just-in-time compilation."""
+
+from defelement.implementations.jit.argument_types import array, ndarray, integer, double
+from defelement.implementations.jit.cpp import compile as cpp