28 files changed, 1046 insertions, 193 deletions

diff --git a/LICENSES/Apache-2.0.txt b/LICENSES/Apache-2.0.txt
new file mode 100644
index 0000000..137069b
--- /dev/null
+++ b/LICENSES/Apache-2.0.txt
@@ -0,0 +1,73 @@
+Apache License
+Version 2.0, January 2004
+http://www.apache.org/licenses/
+
+TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+1. Definitions.
+
+"License" shall mean the terms and conditions for use, reproduction, and distribution as defined by Sections 1 through 9 of this document.
+
+"Licensor" shall mean the copyright owner or entity authorized by the copyright owner that is granting the License.
+
+"Legal Entity" shall mean the union of the acting entity and all other entities that control, are controlled by, or are under common control with that entity. For the purposes of this definition, "control" means (i) the power, direct or indirect, to cause the direction or management of such entity, whether by contract or otherwise, or (ii) ownership of fifty percent (50%) or more of the outstanding shares, or (iii) beneficial ownership of such entity.
+
+"You" (or "Your") shall mean an individual or Legal Entity exercising permissions granted by this License.
+
+"Source" form shall mean the preferred form for making modifications, including but not limited to software source code, documentation source, and configuration files.
+
+"Object" form shall mean any form resulting from mechanical transformation or translation of a Source form, including but not limited to compiled object code, generated documentation, and conversions to other media types.
+
+"Work" shall mean the work of authorship, whether in Source or Object form, made available under the License, as indicated by a copyright notice that is included in or attached to the work (an example is provided in the Appendix below).
+
+"Derivative Works" shall mean any work, whether in Source or Object form, that is based on (or derived from) the Work and for which the editorial revisions, annotations, elaborations, or other modifications represent, as a whole, an original work of authorship. For the purposes of this License, Derivative Works shall not include works that remain separable from, or merely link (or bind by name) to the interfaces of, the Work and Derivative Works thereof.
+
+"Contribution" shall mean any work of authorship, including the original version of the Work and any modifications or additions to that Work or Derivative Works thereof, that is intentionally submitted to Licensor for inclusion in the Work by the copyright owner or by an individual or Legal Entity authorized to submit on behalf of the copyright owner. For the purposes of this definition, "submitted" means any form of electronic, verbal, or written communication sent to the Licensor or its representatives, including but not limited to communication on electronic mailing lists, source code control systems, and issue tracking systems that are managed by, or on behalf of, the Licensor for the purpose of discussing and improving the Work, but excluding communication that is conspicuously marked or otherwise designated in writing by the copyright owner as "Not a Contribution."
+
+"Contributor" shall mean Licensor and any individual or Legal Entity on behalf of whom a Contribution has been received by Licensor and subsequently incorporated within the Work.
+
+2. Grant of Copyright License. Subject to the terms and conditions of this License, each Contributor hereby grants to You a perpetual, worldwide, non-exclusive, no-charge, royalty-free, irrevocable copyright license to reproduce, prepare Derivative Works of, publicly display, publicly perform, sublicense, and distribute the Work and such Derivative Works in Source or Object form.
+
+3. Grant of Patent License. Subject to the terms and conditions of this License, each Contributor hereby grants to You a perpetual, worldwide, non-exclusive, no-charge, royalty-free, irrevocable (except as stated in this section) patent license to make, have made, use, offer to sell, sell, import, and otherwise transfer the Work, where such license applies only to those patent claims licensable by such Contributor that are necessarily infringed by their Contribution(s) alone or by combination of their Contribution(s) with the Work to which such Contribution(s) was submitted. If You institute patent litigation against any entity (including a cross-claim or counterclaim in a lawsuit) alleging that the Work or a Contribution incorporated within the Work constitutes direct or contributory patent infringement, then any patent licenses granted to You under this License for that Work shall terminate as of the date such litigation is filed.
+
+4. Redistribution. You may reproduce and distribute copies of the Work or Derivative Works thereof in any medium, with or without modifications, and in Source or Object form, provided that You meet the following conditions:
+
+     (a) You must give any other recipients of the Work or Derivative Works a copy of this License; and
+
+     (b) You must cause any modified files to carry prominent notices stating that You changed the files; and
+
+     (c) You must retain, in the Source form of any Derivative Works that You distribute, all copyright, patent, trademark, and attribution notices from the Source form of the Work, excluding those notices that do not pertain to any part of the Derivative Works; and
+
+     (d) If the Work includes a "NOTICE" text file as part of its distribution, then any Derivative Works that You distribute must include a readable copy of the attribution notices contained within such NOTICE file, excluding those notices that do not pertain to any part of the Derivative Works, in at least one of the following places: within a NOTICE text file distributed as part of the Derivative Works; within the Source form or documentation, if provided along with the Derivative Works; or, within a display generated by the Derivative Works, if and wherever such third-party notices normally appear. The contents of the NOTICE file are for informational purposes only and do not modify the License. You may add Your own attribution notices within Derivative Works that You distribute, alongside or as an addendum to the NOTICE text from the Work, provided that such additional attribution notices cannot be construed as modifying the License.
+
+     You may add Your own copyright statement to Your modifications and may provide additional or different license terms and conditions for use, reproduction, or distribution of Your modifications, or for any such Derivative Works as a whole, provided Your use, reproduction, and distribution of the Work otherwise complies with the conditions stated in this License.
+
+5. Submission of Contributions. Unless You explicitly state otherwise, any Contribution intentionally submitted for inclusion in the Work by You to the Licensor shall be under the terms and conditions of this License, without any additional terms or conditions. Notwithstanding the above, nothing herein shall supersede or modify the terms of any separate license agreement you may have executed with Licensor regarding such Contributions.
+
+6. Trademarks. This License does not grant permission to use the trade names, trademarks, service marks, or product names of the Licensor, except as required for reasonable and customary use in describing the origin of the Work and reproducing the content of the NOTICE file.
+
+7. Disclaimer of Warranty. Unless required by applicable law or agreed to in writing, Licensor provides the Work (and each Contributor provides its Contributions) on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied, including, without limitation, any warranties or conditions of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A PARTICULAR PURPOSE. You are solely responsible for determining the appropriateness of using or redistributing the Work and assume any risks associated with Your exercise of permissions under this License.
+
+8. Limitation of Liability. In no event and under no legal theory, whether in tort (including negligence), contract, or otherwise, unless required by applicable law (such as deliberate and grossly negligent acts) or agreed to in writing, shall any Contributor be liable to You for damages, including any direct, indirect, special, incidental, or consequential damages of any character arising as a result of this License or out of the use or inability to use the Work (including but not limited to damages for loss of goodwill, work stoppage, computer failure or malfunction, or any and all other commercial damages or losses), even if such Contributor has been advised of the possibility of such damages.
+
+9. Accepting Warranty or Additional Liability. While redistributing the Work or Derivative Works thereof, You may choose to offer, and charge a fee for, acceptance of support, warranty, indemnity, or other liability obligations and/or rights consistent with this License. However, in accepting such obligations, You may act only on Your own behalf and on Your sole responsibility, not on behalf of any other Contributor, and only if You agree to indemnify, defend, and hold each Contributor harmless for any liability incurred by, or claims asserted against, such Contributor by reason of your accepting any such warranty or additional liability.
+
+END OF TERMS AND CONDITIONS
+
+APPENDIX: How to apply the Apache License to your work.
+
+To apply the Apache License to your work, attach the following boilerplate notice, with the fields enclosed by brackets "[]" replaced with your own identifying information. (Don't include the brackets!)  The text should be enclosed in the appropriate comment syntax for the file format. We also recommend that a file or class name and description of purpose be included on the same "printed page" as the copyright notice for easier identification within third-party archives.
+
+Copyright [yyyy] [name of copyright owner]
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
diff --git a/LICENSES/EPL-2.0.txt b/LICENSES/EPL-2.0.txt
new file mode 100644
index 0000000..78756b5
--- /dev/null
+++ b/LICENSES/EPL-2.0.txt
@@ -0,0 +1,80 @@
+Eclipse Public License - v 2.0
+THE ACCOMPANYING PROGRAM IS PROVIDED UNDER THE TERMS OF THIS ECLIPSE PUBLIC LICENSE (“AGREEMENT”). ANY USE, REPRODUCTION OR DISTRIBUTION OF THE PROGRAM CONSTITUTES RECIPIENT'S ACCEPTANCE OF THIS AGREEMENT.
+
+1. DEFINITIONS
+“Contribution” means:
+
+a) in the case of the initial Contributor, the initial content Distributed under this Agreement, and
+b) in the case of each subsequent Contributor:
+i) changes to the Program, and
+ii) additions to the Program;
+where such changes and/or additions to the Program originate from and are Distributed by that particular Contributor. A Contribution “originates” from a Contributor if it was added to the Program by such Contributor itself or anyone acting on such Contributor's behalf. Contributions do not include changes or additions to the Program that are not Modified Works.
+“Contributor” means any person or entity that Distributes the Program.
+
+“Licensed Patents” mean patent claims licensable by a Contributor which are necessarily infringed by the use or sale of its Contribution alone or when combined with the Program.
+
+“Program” means the Contributions Distributed in accordance with this Agreement.
+
+“Recipient” means anyone who receives the Program under this Agreement or any Secondary License (as applicable), including Contributors.
+
+“Derivative Works” shall mean any work, whether in Source Code or other form, that is based on (or derived from) the Program and for which the editorial revisions, annotations, elaborations, or other modifications represent, as a whole, an original work of authorship.
+
+“Modified Works” shall mean any work in Source Code or other form that results from an addition to, deletion from, or modification of the contents of the Program, including, for purposes of clarity any new file in Source Code form that contains any contents of the Program. Modified Works shall not include works that contain only declarations, interfaces, types, classes, structures, or files of the Program solely in each case in order to link to, bind by name, or subclass the Program or Modified Works thereof.
+
+“Distribute” means the acts of a) distributing or b) making available in any manner that enables the transfer of a copy.
+
+“Source Code” means the form of a Program preferred for making modifications, including but not limited to software source code, documentation source, and configuration files.
+
+“Secondary License” means either the GNU General Public License, Version 2.0, or any later versions of that license, including any exceptions or additional permissions as identified by the initial Contributor.
+
+2. GRANT OF RIGHTS
+a) Subject to the terms of this Agreement, each Contributor hereby grants Recipient a non-exclusive, worldwide, royalty-free copyright license to reproduce, prepare Derivative Works of, publicly display, publicly perform, Distribute and sublicense the Contribution of such Contributor, if any, and such Derivative Works.
+b) Subject to the terms of this Agreement, each Contributor hereby grants Recipient a non-exclusive, worldwide, royalty-free patent license under Licensed Patents to make, use, sell, offer to sell, import and otherwise transfer the Contribution of such Contributor, if any, in Source Code or other form. This patent license shall apply to the combination of the Contribution and the Program if, at the time the Contribution is added by the Contributor, such addition of the Contribution causes such combination to be covered by the Licensed Patents. The patent license shall not apply to any other combinations which include the Contribution. No hardware per se is licensed hereunder.
+c) Recipient understands that although each Contributor grants the licenses to its Contributions set forth herein, no assurances are provided by any Contributor that the Program does not infringe the patent or other intellectual property rights of any other entity. Each Contributor disclaims any liability to Recipient for claims brought by any other entity based on infringement of intellectual property rights or otherwise. As a condition to exercising the rights and licenses granted hereunder, each Recipient hereby assumes sole responsibility to secure any other intellectual property rights needed, if any. For example, if a third party patent license is required to allow Recipient to Distribute the Program, it is Recipient's responsibility to acquire that license before distributing the Program.
+d) Each Contributor represents that to its knowledge it has sufficient copyright rights in its Contribution, if any, to grant the copyright license set forth in this Agreement.
+e) Notwithstanding the terms of any Secondary License, no Contributor makes additional grants to any Recipient (other than those set forth in this Agreement) as a result of such Recipient's receipt of the Program under the terms of a Secondary License (if permitted under the terms of Section 3).
+3. REQUIREMENTS
+3.1 If a Contributor Distributes the Program in any form, then:
+
+a) the Program must also be made available as Source Code, in accordance with section 3.2, and the Contributor must accompany the Program with a statement that the Source Code for the Program is available under this Agreement, and informs Recipients how to obtain it in a reasonable manner on or through a medium customarily used for software exchange; and
+b) the Contributor may Distribute the Program under a license different than this Agreement, provided that such license:
+i) effectively disclaims on behalf of all other Contributors all warranties and conditions, express and implied, including warranties or conditions of title and non-infringement, and implied warranties or conditions of merchantability and fitness for a particular purpose;
+ii) effectively excludes on behalf of all other Contributors all liability for damages, including direct, indirect, special, incidental and consequential damages, such as lost profits;
+iii) does not attempt to limit or alter the recipients' rights in the Source Code under section 3.2; and
+iv) requires any subsequent distribution of the Program by any party to be under a license that satisfies the requirements of this section 3.
+3.2 When the Program is Distributed as Source Code:
+
+a) it must be made available under this Agreement, or if the Program (i) is combined with other material in a separate file or files made available under a Secondary License, and (ii) the initial Contributor attached to the Source Code the notice described in Exhibit A of this Agreement, then the Program may be made available under the terms of such Secondary Licenses, and
+b) a copy of this Agreement must be included with each copy of the Program.
+3.3 Contributors may not remove or alter any copyright, patent, trademark, attribution notices, disclaimers of warranty, or limitations of liability (‘notices’) contained within the Program from any copy of the Program which they Distribute, provided that Contributors may add their own appropriate notices.
+
+4. COMMERCIAL DISTRIBUTION
+Commercial distributors of software may accept certain responsibilities with respect to end users, business partners and the like. While this license is intended to facilitate the commercial use of the Program, the Contributor who includes the Program in a commercial product offering should do so in a manner which does not create potential liability for other Contributors. Therefore, if a Contributor includes the Program in a commercial product offering, such Contributor (“Commercial Contributor”) hereby agrees to defend and indemnify every other Contributor (“Indemnified Contributor”) against any losses, damages and costs (collectively “Losses”) arising from claims, lawsuits and other legal actions brought by a third party against the Indemnified Contributor to the extent caused by the acts or omissions of such Commercial Contributor in connection with its distribution of the Program in a commercial product offering. The obligations in this section do not apply to any claims or Losses relating to any actual or alleged intellectual property infringement. In order to qualify, an Indemnified Contributor must: a) promptly notify the Commercial Contributor in writing of such claim, and b) allow the Commercial Contributor to control, and cooperate with the Commercial Contributor in, the defense and any related settlement negotiations. The Indemnified Contributor may participate in any such claim at its own expense.
+
+For example, a Contributor might include the Program in a commercial product offering, Product X. That Contributor is then a Commercial Contributor. If that Commercial Contributor then makes performance claims, or offers warranties related to Product X, those performance claims and warranties are such Commercial Contributor's responsibility alone. Under this section, the Commercial Contributor would have to defend claims against the other Contributors related to those performance claims and warranties, and if a court requires any other Contributor to pay any damages as a result, the Commercial Contributor must pay those damages.
+
+5. NO WARRANTY
+EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, AND TO THE EXTENT PERMITTED BY APPLICABLE LAW, THE PROGRAM IS PROVIDED ON AN “AS IS” BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED INCLUDING, WITHOUT LIMITATION, ANY WARRANTIES OR CONDITIONS OF TITLE, NON-INFRINGEMENT, MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE. Each Recipient is solely responsible for determining the appropriateness of using and distributing the Program and assumes all risks associated with its exercise of rights under this Agreement, including but not limited to the risks and costs of program errors, compliance with applicable laws, damage to or loss of data, programs or equipment, and unavailability or interruption of operations.
+
+6. DISCLAIMER OF LIABILITY
+EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, AND TO THE EXTENT PERMITTED BY APPLICABLE LAW, NEITHER RECIPIENT NOR ANY CONTRIBUTORS SHALL HAVE ANY LIABILITY FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING WITHOUT LIMITATION LOST PROFITS), 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 OR DISTRIBUTION OF THE PROGRAM OR THE EXERCISE OF ANY RIGHTS GRANTED HEREUNDER, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.
+
+7. GENERAL
+If any provision of this Agreement is invalid or unenforceable under applicable law, it shall not affect the validity or enforceability of the remainder of the terms of this Agreement, and without further action by the parties hereto, such provision shall be reformed to the minimum extent necessary to make such provision valid and enforceable.
+
+If Recipient institutes patent litigation against any entity (including a cross-claim or counterclaim in a lawsuit) alleging that the Program itself (excluding combinations of the Program with other software or hardware) infringes such Recipient's patent(s), then such Recipient's rights granted under Section 2(b) shall terminate as of the date such litigation is filed.
+
+All Recipient's rights under this Agreement shall terminate if it fails to comply with any of the material terms or conditions of this Agreement and does not cure such failure in a reasonable period of time after becoming aware of such noncompliance. If all Recipient's rights under this Agreement terminate, Recipient agrees to cease use and distribution of the Program as soon as reasonably practicable. However, Recipient's obligations under this Agreement and any licenses granted by Recipient relating to the Program shall continue and survive.
+
+Everyone is permitted to copy and distribute copies of this Agreement, but in order to avoid inconsistency the Agreement is copyrighted and may only be modified in the following manner. The Agreement Steward reserves the right to publish new versions (including revisions) of this Agreement from time to time. No one other than the Agreement Steward has the right to modify this Agreement. The Eclipse Foundation is the initial Agreement Steward. The Eclipse Foundation may assign the responsibility to serve as the Agreement Steward to a suitable separate entity. Each new version of the Agreement will be given a distinguishing version number. The Program (including Contributions) may always be Distributed subject to the version of the Agreement under which it was received. In addition, after a new version of the Agreement is published, Contributor may elect to Distribute the Program (including its Contributions) under the new version.
+
+Except as expressly stated in Sections 2(a) and 2(b) above, Recipient receives no rights or licenses to the intellectual property of any Contributor under this Agreement, whether expressly, by implication, estoppel or otherwise. All rights in the Program not expressly granted under this Agreement are reserved. Nothing in this Agreement is intended to be enforceable by any entity that is not a Contributor or Recipient. No third-party beneficiary rights are created under this Agreement.
+
+Exhibit A – Form of Secondary Licenses Notice
+“This Source Code may also be made available under the following Secondary Licenses when the conditions for such availability set forth in the Eclipse Public License, v. 2.0 are satisfied: {name license(s), version(s), and exceptions or additional permissions here}.”
+
+Simply including a copy of this Agreement, including this Exhibit A is not sufficient to license the Source Code under Secondary Licenses.
+
+If it is not possible or desirable to put the notice in a particular file, then You may include the notice in a location (such as a LICENSE file in a relevant directory) where a recipient would be likely to look for such a notice.
+
+You may add additional accurate notices of copyright ownership.
diff --git a/blog/2024-04-05/VariableAxisSettings.tsx b/blog/2024-04-05/VariableAxisSettings.tsx
index 8e327dd..1d5e17d 100644
--- a/blog/2024-04-05/VariableAxisSettings.tsx
+++ b/blog/2024-04-05/VariableAxisSettings.tsx
@@ -7,13 +7,13 @@
 import clsx from 'clsx';
 import { useEffect, useId, useState } from 'react';
 import { usePrismTheme } from '@docusaurus/theme-common';
+import useIsBrowser from '@docusaurus/useIsBrowser';
 
 import {
   type VariableAxisValue,
   useVariableAxes,
 } from './VariableAxisProvider';
 import styles from './VariableAxisSettings.module.css';
-import useIsBrowser from '@docusaurus/useIsBrowser';
 
 function PreviewEditor({
   editorClassName,
diff --git a/docusaurus.config.ts b/docusaurus.config.ts
index 5b6cbc1..9213fde 100644
--- a/docusaurus.config.ts
+++ b/docusaurus.config.ts
@@ -85,6 +85,10 @@ export default {
               to: '/#research',
             },
             {
+              label: 'Software',
+              to: '/#software',
+            },
+            {
               label: 'Publications',
               to: '/#publications',
             },
diff --git a/src/components/Landing.tsx b/src/components/Landing.tsx
index 5eac99b..5d3a4cd 100644
--- a/src/components/Landing.tsx
+++ b/src/components/Landing.tsx
@@ -13,6 +13,7 @@ import Hero from './landing/sections/Hero';
 import Publications from './landing/sections/Publications';
 import Research from './landing/sections/Research';
 import Resume from './landing/sections/Resume';
+import Software from './landing/sections/Software';
 import TrackActiveSection from './TrackActiveSection';
 
 export default function Home(props: Props) {
@@ -22,6 +23,7 @@ export default function Home(props: Props) {
         <Hero />
         <Research />
         <Blog {...props} />
+        <Software />
         <Publications />
         <Resume />
         <Contact />
diff --git a/src/components/icons.tsx b/src/components/icons.tsx
index 9b48a17..dc0f9f9 100644
--- a/src/components/icons.tsx
+++ b/src/components/icons.tsx
@@ -6,9 +6,11 @@
 
 import { useId } from 'react';
 import {
+  siCodeberg,
   siCreativecommons,
   siDblp,
   siGithub,
+  siGitlab,
   siGnuprivacyguard,
   siGooglescholar,
   siLinkedin,
@@ -76,6 +78,8 @@ function makeSimpleIcon(icon: SimpleIcon): (props: IconProps) => JSX.Element {
   return (props) => <SimpleIcon icon={icon} {...props} />;
 }
 
+export const CodebergIcon = makeSimpleIcon(siCodeberg);
+
 export const CreativeCommonsIcon = makeSimpleIcon(siCreativecommons);
 
 export const DBLPIcon = makeSimpleIcon(siDblp);
@@ -84,6 +88,8 @@ export const FediverseIcon = makeSimpleIcon(fediverse);
 
 export const GithubIcon = makeSimpleIcon(siGithub);
 
+export const GitlabIcon = makeSimpleIcon(siGitlab);
+
 export const GPGIcon = makeSimpleIcon(siGnuprivacyguard);
 
 export const GoogleScholarIcon = makeSimpleIcon(siGooglescholar);
diff --git a/src/components/landing/Elsewhere.module.css b/src/components/landing/Elsewhere.module.css
new file mode 100644
index 0000000..0697b12
--- /dev/null
+++ b/src/components/landing/Elsewhere.module.css
@@ -0,0 +1,48 @@
+/*
+ * SPDX-FileCopyrightText: 2023-2024 Kristóf Marussy
+ *
+ * SPDX-License-Identifier: MIT
+ */
+
+.elsewhere {
+  display: flex;
+  flex-direction: row;
+  align-items: center;
+  flex-wrap: wrap;
+  column-gap: 0.25rem;
+}
+
+.elsewhere__text {
+  margin: 0;
+}
+
+.elsewhere__list {
+  display: flex;
+  margin: 0;
+  padding: 0;
+}
+
+.elsewhere__item {
+  display: flex;
+  align-items: center;
+  margin: 0;
+  list-style-type: none;
+}
+
+.elsewhere__icon {
+  display: flex;
+  padding: 0.375rem;
+  --ifm-link-color: var(--ifm-color-secondary-contrast-foreground);
+  --ifm-link-hover-color: var(--ifm-color-emphasis-700);
+  --ifm-link-text-decoration: none;
+}
+
+[data-theme='dark'] .elsewhere__icon {
+  --ifm-link-color: var(--ifm-color-secondary);
+  --ifm-link-hover-color: var(--ifm-color-secondary-dark);
+}
+
+.elsewhere__icon svg {
+  width: 1.75rem;
+  height: 1.75rem;
+}
diff --git a/src/components/landing/Elsewhere.tsx b/src/components/landing/Elsewhere.tsx
new file mode 100644
index 0000000..dc0d7ac
--- /dev/null
+++ b/src/components/landing/Elsewhere.tsx
@@ -0,0 +1,35 @@
+/*
+ * SPDX-FileCopyrightText: 2024 Kristóf Marussy
+ *
+ * SPDX-License-Identifier: MIT
+ */
+
+import Link from '@docusaurus/Link';
+
+import styles from './Elsewhere.module.css';
+
+export default function Elsewhere({
+  label,
+  links,
+}: {
+  label: React.ReactNode;
+  links: {
+    href: string;
+    icon: React.ReactNode;
+  }[];
+}) {
+  return (
+    <div className={styles.elsewhere}>
+      <p className={styles.elsewhere__text}>{label}</p>
+      <ul className={styles.elsewhere__list}>
+        {links.map(({ href, icon }) => (
+          <li className={styles.elsewhere__item} key={href}>
+            <Link href={href} className={styles.elsewhere__icon}>
+              {icon}
+            </Link>
+          </li>
+        ))}
+      </ul>
+    </div>
+  );
+}
diff --git a/src/components/landing/sections/Blog.module.css b/src/components/landing/sections/Blog.module.css
index 57682f6..b8b953d 100644
--- a/src/components/landing/sections/Blog.module.css
+++ b/src/components/landing/sections/Blog.module.css
@@ -21,6 +21,7 @@
   font-weight: var(--ifm-font-weight-normal);
   --casl: 0;
   letter-spacing: 0;
+  white-space: nowrap;
 }
 
 .prev::after {
diff --git a/src/components/landing/sections/Blog.tsx b/src/components/landing/sections/Blog.tsx
index 3ac87db..deb6d2f 100644
--- a/src/components/landing/sections/Blog.tsx
+++ b/src/components/landing/sections/Blog.tsx
@@ -16,9 +16,6 @@ import Section from '@site/src/components/landing/Section';
 import Subtitle from '@site/src/components/landing/Subtitle';
 
 import styles from './Blog.module.css';
-import React from 'react';
-
-const columnLength = 5;
 
 function Column({
   items,
@@ -52,7 +49,7 @@ function Column({
               {content.metadata.title}
             </Link>{' '}
             <span className={styles.date}>
-              on&nbsp;{dateTimeFormat.format(new Date(content.metadata.date))}
+              on {dateTimeFormat.format(new Date(content.metadata.date))}
             </span>
           </li>
         ))}
@@ -70,9 +67,7 @@ export default function Blog(props: Props) {
   return (
     <Section id="blog" title="Blog">
       <div className="container">
-        <section>
-          <Subtitle icon="🗓️">Recent posts</Subtitle>
-        </section>
+        <Subtitle icon="🗓️">Recent posts</Subtitle>
         <div className={clsx('row', styles.row)}>
           <Column items={items.slice(0, columnLength)} />
           <Column items={items.slice(columnLength)} />
diff --git a/src/components/landing/sections/Contact.module.css b/src/components/landing/sections/Contact.module.css
index 4ff19df..2eb9f06 100644
--- a/src/components/landing/sections/Contact.module.css
+++ b/src/components/landing/sections/Contact.module.css
@@ -165,4 +165,11 @@
   height: 100%;
   object-fit: cover;
   object-position: 25% center;
+  transform-origin: 25% center;
+  transition: transform var(--ifm-transition-fast) ease;
+}
+
+.contacts:has(.contact--address:hover) .photo,
+.contacts:has(.contact--address:focus-within) .photo {
+  transform: scale(140%);
 }
diff --git a/src/components/landing/sections/Contact.tsx b/src/components/landing/sections/Contact.tsx
index f95e458..94da73a 100644
--- a/src/components/landing/sections/Contact.tsx
+++ b/src/components/landing/sections/Contact.tsx
@@ -103,7 +103,7 @@ export default function Contact() {
             </div>
           </div>
           <div className={clsx('col', 'col--4', styles.col)}>
-            <div className={styles.contact}>
+            <div className={clsx(styles.contact, styles['contact--address'])}>
               <div className={styles['contact__icon-holder']}>
                 <MapPin aria-hidden="true" className={styles.contact__icon} />
               </div>
@@ -133,7 +133,7 @@ export default function Contact() {
                 srcSet={photo.srcSet}
                 width={photo.width}
                 height={photo.height}
-                sizes="(min-width: 1384px) 1288px, (min-width: 996px) calc(100vw - 96px), (min-width: 676px) calc(100vw - 32px), 644px"
+                sizes="(min-width: 1384px) 1288px, (min-width: 1384px) 1108px, (min-width: 997px) calc(100vw - 96px), (min-width: 676px) calc(100vw - 32px), 644px"
                 loading="lazy"
                 alt=""
                 className={styles.photo}
diff --git a/src/components/landing/sections/Hero.tsx b/src/components/landing/sections/Hero.tsx
index 45ecd50..3087dd3 100644
--- a/src/components/landing/sections/Hero.tsx
+++ b/src/components/landing/sections/Hero.tsx
@@ -60,7 +60,8 @@ export default function Hero() {
               </Link>{' '}
               at the{' '}
               <Link to="https://www.mit.bme.hu">
-                🏫&nbsp;Department of Artificial Intelligence and Systems Engineering&nbsp;(MIT)
+                🏫&nbsp;Department of Artificial Intelligence and Systems
+                Engineering&nbsp;(MIT)
               </Link>{' '}
               at{' '}
               <Link to="https://bme.hu">
diff --git a/src/components/landing/sections/Publications.module.css b/src/components/landing/sections/Publications.module.css
index 9ef368b..fd324cf 100644
--- a/src/components/landing/sections/Publications.module.css
+++ b/src/components/landing/sections/Publications.module.css
@@ -22,46 +22,3 @@
   height: 1em;
   margin-right: 0.125rem;
 }
-
-.elsewhere {
-  display: flex;
-  flex-direction: row;
-  align-items: center;
-  flex-wrap: wrap;
-  column-gap: 0.25rem;
-}
-
-.elsewhere__text {
-  margin: 0;
-}
-
-.elsewhere__list {
-  display: flex;
-  margin: 0;
-  padding: 0;
-}
-
-.elsewhere__item {
-  display: flex;
-  align-items: center;
-  margin: 0;
-  list-style-type: none;
-}
-
-.elsewhere__icon {
-  display: flex;
-  padding: 0.375rem;
-  --ifm-link-color: var(--ifm-color-secondary-contrast-foreground);
-  --ifm-link-hover-color: var(--ifm-color-emphasis-700);
-  --ifm-link-text-decoration: none;
-}
-
-[data-theme='dark'] .elsewhere__icon {
-  --ifm-link-color: var(--ifm-color-secondary);
-  --ifm-link-hover-color: var(--ifm-color-secondary-dark);
-}
-
-.elsewhere__icon svg {
-  width: 1.75rem;
-  height: 1.75rem;
-}
diff --git a/src/components/landing/sections/Publications.tsx b/src/components/landing/sections/Publications.tsx
index 33f989f..ceb5c02 100644
--- a/src/components/landing/sections/Publications.tsx
+++ b/src/components/landing/sections/Publications.tsx
@@ -17,6 +17,7 @@ import {
   OrcidIcon,
   ScopusIcon,
 } from '@site/src/components/icons';
+import Elsewhere from '@site/src/components/landing/Elsewhere';
 import Section from '@site/src/components/landing/Section';
 import Subtitle from '@site/src/components/landing/Subtitle';
 import authorizedLinks from '@site/src/components/landing/sections/authorizedLinks';
@@ -129,142 +130,116 @@ export default function Publications() {
   return (
     <Section id="publications" title="Publications">
       <div className="container">
-        <section>
-          <Subtitle icon="📌">Selected publications</Subtitle>
-          <ul>
-            <li className={styles.publications__item}>
-              <b>Kristóf Marussy</b>, Attila Ficsor, Oszkár Semeráth, Dániel
-              Varró (2024). Refinery: Graph Solver as a Service. In&nbsp;
-              <i>
-                International Conference on Software Engineering (ICSE) 2024
-              </i>
-              . <PDFLink filename="icse24" />{' '}
-              <VideoLink url="https://www.youtube.com/watch?v=Qy_3udNsWsM" />{' '}
-              <OpenAccess license="by" />
-            </li>
-            <li className={styles.publications__item}>
-              Máté Földiák, <b>Kristóf Marussy</b>, Dániel Varró, István Majzik
-              (2022). System architecture synthesis for performability by logic
-              solvers. In&nbsp;
-              <i>
-                International Conference on Model Driven Engineering Languages
-                and Systems (MODELS) 2022,
-              </i>{' '}
-              pp.&nbsp;433&ndash;45. <DOILink doi="10.1145/3550355.3552448" />{' '}
-              <PDFLink filename="models22" />{' '}
-              <ArtifactLink doi="10.5281/zenodo.6974248" />{' '}
-              <ClosedAccess
-                publisher="ACM"
-                url="https://authors.acm.org/journals/rights-permissions"
-                authorizedURL={authorizedLinks.models22}
-              />
-            </li>
-            <li className={styles.publications__item}>
-              Boqi Chen, <b>Kristóf Marussy</b>, Sebastian Pilarski, Oszkár
-              Semeráth, Dániel Varró (2022). Consistent Scene Graph Generation
-              by Constraint Optimization. In&nbsp;
-              <i>
-                International Conference on Automated Software Engineering (ASE)
-                2022
-              </i>
-              . <DOILink doi="10.1145/3551349.3560433" />{' '}
-              <PDFLink filename="ase22" /> <OpenAccess license="by" />
-            </li>
-            <li className={styles.publications__item}>
-              <b>Kristóf Marussy</b>, Oszkár Semeráth, Dániel Varró (2022).{' '}
-              Automated Generation of Consistent Graph Models With Multiplicity
-              Reasoning. <i>IEEE Transactions on Software Engineering,</i>{' '}
-              volume 48, issue 5. <DOILink doi="10.1109/TSE.2020.3025732 " />{' '}
-              <PDFLink filename="tse22" /> <OpenAccess license="by" />
-            </li>
-            <li className={styles.publications__item}>
-              Márton Búr, <b>Kristóf Marussy</b>, Brett H.&nbsp;Meyer, Dániel
-              Varró (2021). Worst-case Execution Time Calculation for
-              Query-based Monitors by Witness Generation.{' '}
-              <i>ACM Transactions on Embedded Computing Systems,</i> volume 20,
-              issue 6. <DOILink doi="10.1145/3471904" />{' '}
-              <ArxivLink arxivID="2102.03116" /> <PDFLink filename="tecs21" />{' '}
-              <ClosedAccess
-                publisher="ACM"
-                url="https://authors.acm.org/journals/rights-permissions"
-                authorizedURL={authorizedLinks.tecs21}
-              />
-            </li>
-            <li className={styles.publications__item}>
-              <b>Kristóf Marussy</b>, Oszkár Semeráth, Aren A.&nbsp;Babikian,
-              Dániel Varró (2020). A Specification Language for Consistent Model
-              Generation based on Partial Models.{' '}
-              <i>Journal of Object Technology,</i> volume 19,
-              pp.&nbsp;3:1&ndash;22. <DOILink doi="10.5381/jot.2020.19.3.a12" />{' '}
-              <PDFLink filename="jot20" />{' '}
-              <VideoLink url="https://www.youtube.com/watch?v=ggTbv_s5t2A" />{' '}
-              <OpenAccess license="by-nd" />
-            </li>
-            <li className={styles.publications__item}>
-              <b>Kristóf Marussy</b> and Oszkár Semeráth (2018). Incremental
-              View Model Synchronization Using Partial Models. In&nbsp;
-              <i>
-                International Conference on Model Driven Engineering Languages
-                and Systems (MODELS) 2018,
-              </i>{' '}
-              pp.&nbsp;323&ndash;333. <DOILink doi="10.1145/3239372.3239412" />{' '}
-              <PDFLink filename="models18" />{' '}
-              <ArtifactLink doi="10.5281/zenodo.1318156" />{' '}
-              <ClosedAccess
-                publisher="ACM"
-                url="https://authors.acm.org/journals/rights-permissions"
-                authorizedURL={authorizedLinks.models18}
-              />
-            </li>
-          </ul>
-        </section>
-        <div className={styles.elsewhere}>
-          <p className={styles.elsewhere__text}>
-            See the full list of my publications at
-          </p>
-          <ul className={styles.elsewhere__list}>
-            <li className={styles.elsewhere__item}>
-              <Link
-                to="https://orcid.org/0000-0002-9135-8256"
-                className={styles.elsewhere__icon}
-              >
-                <OrcidIcon />
-              </Link>
-            </li>
-            <li className={styles.elsewhere__item}>
-              <Link
-                to="https://dblp.org/pid/130/6479.html"
-                className={styles.elsewhere__icon}
-              >
-                <DBLPIcon />
-              </Link>
-            </li>
-            <li className={styles.elsewhere__item}>
-              <Link
-                to="https://scholar.google.com/citations?user=E9CKNYoAAAAJ"
-                className={styles.elsewhere__icon}
-              >
-                <GoogleScholarIcon />
-              </Link>
-            </li>
-            <li className={styles.elsewhere__item}>
-              <Link
-                to="https://www.scopus.com/authid/detail.uri?authorId=55860043200"
-                className={styles.elsewhere__icon}
-              >
-                <ScopusIcon />
-              </Link>
-            </li>
-            <li className={styles.elsewhere__item}>
-              <Link
-                to="https://m2.mtmt.hu/gui2/?type=authors&mode=browse&sel=authors10062709"
-                className={styles.elsewhere__icon}
-              >
-                <MTMTIcon />
-              </Link>
-            </li>
-          </ul>
-        </div>
+        <Subtitle icon="📌">Selected publications</Subtitle>
+        <ul>
+          <li className={styles.publications__item}>
+            <b>Kristóf Marussy</b>, Attila Ficsor, Oszkár Semeráth, Dániel Varró
+            (2024). Refinery: Graph Solver as a Service. In&nbsp;
+            <i>International Conference on Software Engineering (ICSE) 2024</i>
+            . <PDFLink filename="icse24" />{' '}
+            <VideoLink url="https://www.youtube.com/watch?v=Qy_3udNsWsM" />{' '}
+            <OpenAccess license="by" />
+          </li>
+          <li className={styles.publications__item}>
+            Máté Földiák, <b>Kristóf Marussy</b>, Dániel Varró, István Majzik
+            (2022). System architecture synthesis for performability by logic
+            solvers. In&nbsp;
+            <i>
+              International Conference on Model Driven Engineering Languages and
+              Systems (MODELS) 2022,
+            </i>{' '}
+            pp.&nbsp;433&ndash;45. <DOILink doi="10.1145/3550355.3552448" />{' '}
+            <PDFLink filename="models22" />{' '}
+            <ArtifactLink doi="10.5281/zenodo.6974248" />{' '}
+            <ClosedAccess
+              publisher="ACM"
+              url="https://authors.acm.org/journals/rights-permissions"
+              authorizedURL={authorizedLinks.models22}
+            />
+          </li>
+          <li className={styles.publications__item}>
+            Boqi Chen, <b>Kristóf Marussy</b>, Sebastian Pilarski, Oszkár
+            Semeráth, Dániel Varró (2022). Consistent Scene Graph Generation by
+            Constraint Optimization. In&nbsp;
+            <i>
+              International Conference on Automated Software Engineering (ASE)
+              2022
+            </i>
+            . <DOILink doi="10.1145/3551349.3560433" />{' '}
+            <PDFLink filename="ase22" /> <OpenAccess license="by" />
+          </li>
+          <li className={styles.publications__item}>
+            <b>Kristóf Marussy</b>, Oszkár Semeráth, Dániel Varró (2022).{' '}
+            Automated Generation of Consistent Graph Models With Multiplicity
+            Reasoning. <i>IEEE Transactions on Software Engineering,</i> volume
+            48, issue 5. <DOILink doi="10.1109/TSE.2020.3025732 " />{' '}
+            <PDFLink filename="tse22" /> <OpenAccess license="by" />
+          </li>
+          <li className={styles.publications__item}>
+            Márton Búr, <b>Kristóf Marussy</b>, Brett H.&nbsp;Meyer, Dániel
+            Varró (2021). Worst-case Execution Time Calculation for Query-based
+            Monitors by Witness Generation.{' '}
+            <i>ACM Transactions on Embedded Computing Systems,</i> volume 20,
+            issue 6. <DOILink doi="10.1145/3471904" />{' '}
+            <ArxivLink arxivID="2102.03116" /> <PDFLink filename="tecs21" />{' '}
+            <ClosedAccess
+              publisher="ACM"
+              url="https://authors.acm.org/journals/rights-permissions"
+              authorizedURL={authorizedLinks.tecs21}
+            />
+          </li>
+          <li className={styles.publications__item}>
+            <b>Kristóf Marussy</b>, Oszkár Semeráth, Aren A.&nbsp;Babikian,
+            Dániel Varró (2020). A Specification Language for Consistent Model
+            Generation based on Partial Models.{' '}
+            <i>Journal of Object Technology,</i> volume 19,
+            pp.&nbsp;3:1&ndash;22. <DOILink doi="10.5381/jot.2020.19.3.a12" />{' '}
+            <PDFLink filename="jot20" />{' '}
+            <VideoLink url="https://www.youtube.com/watch?v=ggTbv_s5t2A" />{' '}
+            <OpenAccess license="by-nd" />
+          </li>
+          <li className={styles.publications__item}>
+            <b>Kristóf Marussy</b> and Oszkár Semeráth (2018). Incremental View
+            Model Synchronization Using Partial Models. In&nbsp;
+            <i>
+              International Conference on Model Driven Engineering Languages and
+              Systems (MODELS) 2018,
+            </i>{' '}
+            pp.&nbsp;323&ndash;333. <DOILink doi="10.1145/3239372.3239412" />{' '}
+            <PDFLink filename="models18" />{' '}
+            <ArtifactLink doi="10.5281/zenodo.1318156" />{' '}
+            <ClosedAccess
+              publisher="ACM"
+              url="https://authors.acm.org/journals/rights-permissions"
+              authorizedURL={authorizedLinks.models18}
+            />
+          </li>
+        </ul>
+        <Elsewhere
+          label="See the full list of my pulications at"
+          links={[
+            {
+              href: 'https://orcid.org/0000-0002-9135-8256',
+              icon: <OrcidIcon />,
+            },
+            {
+              href: 'https://dblp.org/pid/130/6479.html',
+              icon: <DBLPIcon />,
+            },
+            {
+              href: 'https://scholar.google.com/citations?user=E9CKNYoAAAAJ',
+              icon: <GoogleScholarIcon />,
+            },
+            {
+              href: 'https://www.scopus.com/authid/detail.uri?authorId=55860043200',
+              icon: <ScopusIcon />,
+            },
+            {
+              href: 'https://m2.mtmt.hu/gui2/?type=authors&mode=browse&sel=authors10062709',
+              icon: <MTMTIcon />,
+            },
+          ]}
+        />
       </div>
     </Section>
   );
diff --git a/src/components/landing/sections/Resume.tsx b/src/components/landing/sections/Resume.tsx
index 1666f19..4e31c1a 100644
--- a/src/components/landing/sections/Resume.tsx
+++ b/src/components/landing/sections/Resume.tsx
@@ -122,7 +122,8 @@ function Experience() {
           </p>
           <p>
             <i>
-              Department of Artificial Intelligence and Systems Engineering, Budapest University of Technology and Economics, Hungary
+              Department of Artificial Intelligence and Systems Engineering,
+              Budapest University of Technology and Economics, Hungary
             </i>
           </p>
           <ul className={styles.cv__activities}>
@@ -230,8 +231,8 @@ function Awards() {
               László Schell Foundation
             </Link>{' '}
             to 1&nbsp;member of the{' '}
-            <i>Department of Artificial Intelligence and Systems Engineering</i> per year
-            for exceptional work in innovation
+            <i>Department of Artificial Intelligence and Systems Engineering</i>{' '}
+            per year for exceptional work in innovation
           </p>
         </li>
         <li className={styles.cv__item}>
diff --git a/src/components/landing/sections/Software.module.css b/src/components/landing/sections/Software.module.css
new file mode 100644
index 0000000..a68b5a6
--- /dev/null
+++ b/src/components/landing/sections/Software.module.css
@@ -0,0 +1,359 @@
+/*
+ * Copyright (c) 2024 Kristóf Marussy <kristof@marussy.com>
+ *
+ * SPDX-License-Identifier: MIT
+ */
+
+.wrapper {
+  overflow-x: hidden;
+  /* Leave space for the shadow, see https://stackoverflow.com/a/33949075 */
+  padding-bottom: 8rem;
+  margin-bottom: -8rem;
+}
+
+.software-grid {
+  display: grid;
+  grid-template-rows: min-content minmax(4rem, 1fr) min-content;
+  grid-template-columns: 0.4fr 0.2fr 0.4fr;
+  gap: 2rem;
+  margin: 1.5rem 0;
+}
+
+.software {
+  border-radius: var(--ifm-card-border-radius);
+}
+
+.software--refinery {
+  position: relative;
+  grid-column: 1 / span 2;
+  grid-row: 1 / span 2;
+  min-height: 200px;
+  overflow: hidden;
+  background-size: cover;
+  background-position: center center;
+  --ifm-color-primary: #038a99;
+  --ifm-color-primary-dark: #037c8a;
+  --ifm-color-primary-darker: #037582;
+  --ifm-color-primary-darkest: #02616b;
+  --ifm-color-primary-light: #0398a8;
+  --ifm-color-primary-lighter: #039fb0;
+  --ifm-color-primary-lightest: #04b3c7;
+  z-index: 10;
+  box-shadow: var(--ifm-global-shadow-md);
+}
+
+.software--interactive {
+  transition: box-shadow var(--ifm-transition-fast) ease;
+}
+
+.software--interactive:hover,
+.software--interactive:focus-within {
+  box-shadow: var(--ifm-global-shadow-tl);
+  z-index: 20;
+}
+
+.software-grid:has(.software--screenshot:hover) .software--refinery,
+.software-grid:has(.software--screenshot:focus-within) .software--refinery {
+  box-shadow: none;
+}
+
+[data-theme='dark'] .software--refinery {
+  --ifm-color-primary: #56b6c2;
+  --ifm-color-primary-dark: #43acb9;
+  --ifm-color-primary-darker: #3fa2af;
+  --ifm-color-primary-darkest: #348690;
+  --ifm-color-primary-light: #6bbfc9;
+  --ifm-color-primary-lighter: #75c3cd;
+  --ifm-color-primary-lightest: #94d1d8;
+}
+
+.refinery__background {
+  position: absolute;
+  top: 0;
+  left: 0;
+  width: 100%;
+  height: 100%;
+  z-index: 1;
+  object-fit: cover;
+  transition: transform var(--ifm-transition-fast) ease;
+}
+
+.software--refinery:hover .refinery__background,
+.software--refinery:focus-within .refinery__background {
+  transform: scale(140%);
+}
+
+.content {
+  position: relative;
+  height: 100%;
+  z-index: 99;
+  display: flex;
+  flex-direction: column;
+}
+
+.content--refinery {
+  justify-content: space-between;
+}
+
+.refinery__heading {
+  padding: 1.25rem 1rem;
+  margin: 0;
+  display: flex;
+  flex-direction: row;
+  align-items: center;
+  color: var(--ifm-link-color);
+  --ifm-link-color: #21252b;
+  --ifm-link-hover-color: var(--ifm-link-color);
+  --ifm-h3-font-size: 2rem;
+  --casl: 1;
+}
+
+[data-theme='dark'] .refinery__heading {
+  --ifm-link-color: #282c34;
+}
+
+.refinery__logo {
+  width: 4rem;
+  height: 4rem;
+  margin-right: 0.25rem;
+}
+
+.refinery__logo :global(.refinery-a) {
+  fill: currentcolor;
+}
+
+.refinery__logo :global(.refinery-b) {
+  fill: var(--ifm-color-primary);
+}
+
+[data-theme='dark'] .refinery__logo :global(.refinery-b) {
+  fill: var(--ifm-color-primary-darkest);
+}
+
+.cover-link::after {
+  content: ' ';
+  position: absolute;
+  top: 0;
+  left: 0;
+  width: 100%;
+  height: 100%;
+  z-index: 998;
+}
+
+.overlay {
+  padding: 1rem;
+  background: #ebedf0cd;
+  display: flex;
+  flex-direction: column;
+  gap: 1rem;
+}
+
+[data-theme='dark'] .overlay {
+  color: #fff;
+  background: #21252bcd;
+}
+
+.description p {
+  margin-bottom: 1rem;
+}
+
+.description p:last-of-type {
+  margin-bottom: 0;
+}
+
+.refinery__buttons {
+  display: flex;
+  flex-direction: row;
+  gap: 1rem;
+}
+
+.button {
+  z-index: 999;
+}
+
+:root:not([data-theme='dark']) .refinery__buttons :global(.button--secondary) {
+  --ifm-button-background-color: var(--ifm-background-surface-color);
+  --ifm-button-border-color: var(--ifm-button-background-color);
+}
+
+:root:not([data-theme='dark'])
+  .refinery__buttons
+  :global(.button--secondary):hover,
+:root:not([data-theme='dark'])
+  .refinery__buttons
+  :global(.button--secondary):active {
+  --ifm-button-background-color: var(--ifm-color-emphasis-200);
+}
+
+.software--screenshot {
+  grid-column: 2 / span 2;
+  grid-row: 2 / span 2;
+  position: relative;
+  overflow: hidden;
+  transition-property: box-shadow, transform;
+  z-index: 0;
+  background-size: cover;
+  background-position: center center;
+}
+
+.software--screenshot:hover,
+.software--screenshot:focus-within {
+  transform: scale(120%);
+}
+
+.screenshot {
+  position: absolute;
+  top: 0;
+  left: 0;
+  width: 100%;
+  height: 100%;
+  z-index: 1;
+}
+
+.content--screenshot {
+  justify-content: flex-end;
+}
+
+.overlay--screenshot {
+  /* Fix rounding error in Chromium by oversizing the overlay. */
+  padding: 0.83333rem 1.83333rem 1.83333rem 1.83333rem;
+  margin: 0 -1rem -1rem -1rem;
+  font-size: 0.83333rem;
+  transform: translatey(100%);
+  transition: transform var(--ifm-transition-fast) ease;
+}
+
+.software--screenshot:hover .overlay--screenshot,
+.software--screenshot:focus-within .overlay--screenshot {
+  transform: translatey(0%);
+}
+
+.software--screenshot:focus-within,
+.software--screenshot:focus-within .overlay--screenshot {
+  /* Avoid the overlay jumping around on focus. */
+  transition: none;
+}
+
+.screenshot__link {
+  --ifm-link-color: var(--ifm-text-color-base);
+  --ifm-link-hover-color: var(--ifm-link-color);
+}
+
+.screenshot__link::after {
+  content: ' ';
+  position: absolute;
+  top: -1000%;
+  left: 0;
+  width: 100%;
+  height: 1100%;
+}
+
+.software--ferdium {
+  grid-column: 3;
+  grid-row: 1;
+  background: linear-gradient(45deg, #ce9ffc, #7367f0);
+  padding: 1rem;
+  display: flex;
+  position: relative;
+  flex-direction: row;
+  align-items: center;
+  gap: 1rem;
+}
+
+.ferdium__icon {
+  position: relative;
+  overflow: hidden;
+  width: 4rem;
+  height: 4rem;
+  border-radius: 50rem;
+  display: flex;
+  align-items: center;
+  justify-content: center;
+  background: rgba(255 255 255 / 0.2);
+  flex-shrink: 0;
+}
+
+.ferdium__icon::after {
+  position: absolute;
+  content: ' ';
+  top: 0;
+  left: 0;
+  width: 100%;
+  height: 100%;
+  z-index: 1;
+  background-image: linear-gradient(45deg, #7266f0, #734ed3);
+  opacity: 0;
+  transition: opacity var(--ifm-transition-fast) ease;
+}
+
+.software--ferdium:hover .ferdium__icon::after,
+.software--ferdium:focus-within .ferdium__icon::after {
+  opacity: 1;
+}
+
+.ferdium__logo {
+  position: relative;
+  width: 78%;
+  height: auto;
+  z-index: 2;
+}
+
+.ferdium__content {
+  flex-shrink: 1;
+  color: var(--ifm-link-color);
+  --ifm-link-color: #fff;
+  --ifm-link-hover-color: var(--ifm-link-color);
+}
+
+.software--hosted {
+  grid-column: 1;
+  gird-row: 3;
+  background: var(--ifm-color-emphasis-200);
+  padding: 1rem;
+}
+
+[data-theme='dark'] .software--hosted {
+  background: var(--ifm-pre-background);
+  --ifm-link-color: var(--ifm-color-primary-light);
+  --ifm-link-hover-color: var(--ifm-color-primary-light);
+}
+
+@media (max-width: 996px) {
+  .wrapper {
+    overflow: visible;
+    padding: 0;
+    margin: 0;
+  }
+
+  .software-grid {
+    grid-template: min-content / 1fr;
+  }
+
+  .software {
+    grid-column: 1;
+    grid-row: auto / span 1;
+  }
+
+  .software {
+    box-shadow: none !important;
+    transform: none !important;
+  }
+
+  .overlay--screenshot {
+    padding: 1rem 2rem 2rem 2rem;
+    font-size: 1rem;
+  }
+}
+
+@media (max-width: 576px) {
+  .refinery__heading {
+    --ifm-h3-font-size: 1.5rem;
+    --casl: var(--marussy-slightly-casl);
+  }
+
+  .refinery__logo,
+  .ferdium__icon {
+    width: 3rem;
+    height: 3rem;
+  }
+}
diff --git a/src/components/landing/sections/Software.tsx b/src/components/landing/sections/Software.tsx
new file mode 100644
index 0000000..af25523
--- /dev/null
+++ b/src/components/landing/sections/Software.tsx
@@ -0,0 +1,230 @@
+/*
+ * Copyright (c) 2024 Kristóf Marussy <kristof@marussy.com>
+ *
+ * SPDX-License-Identifier: MIT AND CC-BY-4.0
+ *
+ * Code in this file is MIT licensed, while content is CC-BY-4.0 licensed.
+ */
+
+import Link from '@docusaurus/Link';
+import { useColorMode } from '@docusaurus/theme-common';
+import useIsBrowser from '@docusaurus/useIsBrowser';
+import clsx from 'clsx';
+
+import {
+  CodebergIcon,
+  GithubIcon,
+  GitlabIcon,
+} from '@site/src/components/icons';
+import Elsewhere from '@site/src/components/landing/Elsewhere';
+import Section from '@site/src/components/landing/Section';
+
+import styles from './Software.module.css';
+import FerdiumLogo from './ferdium.svg';
+import refineryBackground from './refinery-background.png?placeholder=true&sizes[]=767&sizes[]=997&sizes[]=1534&sizes[]=1920&rl';
+import RefineryLogo from './refinery-logo.svg';
+import refineryScreenshotDark from './refinery-screenshot-dark.png?placeholder=true&sizes[]=767&sizes[]=997&sizes[]=1534&sizes[]=1920&rl';
+import refineryScreenshotLight from './refinery-screenshot-light.png?placeholder=true&sizes[]=767&sizes[]=997&sizes[]=1534&sizes[]=1920&rl';
+
+function Screenshot() {
+  // Force re-render in browser.
+  // https://github.com/facebook/docusaurus/blob/e012e0315862b2ca02cad40c58d11d31c319ff75/packages/docusaurus-theme-classic/src/theme/CodeBlock/index.tsx#L32-L36
+  const isBrowser = useIsBrowser();
+  const { isDarkTheme } = useColorMode();
+  const refineryScreenshot = isDarkTheme
+    ? refineryScreenshotLight
+    : refineryScreenshotDark;
+
+  const screenshot = (
+    <img
+      src={refineryScreenshot.src}
+      srcSet={refineryScreenshot.srcSet}
+      width={refineryScreenshot.width}
+      height={refineryScreenshot.height}
+      sizes="(min-width: 1440px) 767px, (min-width: 1384px) 659px, (min-width: 997px) calc(60vw - 64px), calc(100vw - 32px)"
+      loading="lazy"
+      alt=""
+      className={styles.screenshot}
+    />
+  );
+
+  return (
+    <div
+      key={String(isBrowser)}
+      className={clsx(
+        styles.software,
+        styles['software--interactive'],
+        styles['software--screenshot'],
+      )}
+      style={{
+        aspectRatio: refineryScreenshot.width / refineryScreenshot.height,
+        backgroundImage: `url(${refineryScreenshot.placeholder})`,
+      }}
+    >
+      {isBrowser ? screenshot : <noscript>{screenshot}</noscript>}
+      <div className={clsx(styles.content, styles['content--screenshot'])}>
+        <div
+          className={clsx(
+            styles.overlay,
+            styles['overlay--screenshot'],
+            styles.description,
+          )}
+        >
+          <p>
+            <Link
+              href="https://refinery.services"
+              className={styles.screenshot__link}
+            >
+              Try Refinery in your browser!
+            </Link>
+          </p>
+        </div>
+      </div>
+    </div>
+  );
+}
+
+export default function Software() {
+  return (
+    <div className={styles.wrapper}>
+      <Section id="software" title="Software">
+        <div className="container">
+          <div className={styles['software-grid']}>
+            <div
+              className={clsx(
+                styles.software,
+                styles['software--interactive'],
+                styles['software--refinery'],
+              )}
+              style={{
+                backgroundImage: `url(${refineryBackground.placeholder})`,
+              }}
+            >
+              <img
+                src={refineryBackground.src}
+                srcSet={refineryBackground.srcSet}
+                width={refineryBackground.width}
+                height={refineryBackground.height}
+                sizes="(min-width: 1440px) 767px, (min-width: 1384px) 659px, (min-width: 997px) calc(60vw - 64px), calc(100vw - 32px)"
+                loading="lazy"
+                alt=""
+                className={styles.refinery__background}
+              />
+              <div
+                className={clsx(styles.content, styles['content--refinery'])}
+              >
+                <h3 className={styles.refinery__heading}>
+                  <RefineryLogo className={styles.refinery__logo} />
+                  <Link
+                    href="https://refinery.tools"
+                    className={styles['cover-link']}
+                  >
+                    Refinery
+                  </Link>
+                </h3>
+                <div className={styles.overlay}>
+                  <div className={styles.description}>
+                    <p>
+                      I am a developer and maintainer of Refinery, an efficient{' '}
+                      <b>graph solver</b> for generating{' '}
+                      <b>well-formed models</b> and reasoning about{' '}
+                      <b>interconnected systems.</b>
+                    </p>
+                  </div>
+                  <div className={styles.refinery__buttons}>
+                    <Link
+                      href="https://refinery.services"
+                      className={clsx(
+                        'button',
+                        'button--primary',
+                        styles.button,
+                      )}
+                    >
+                      Try now
+                    </Link>
+                    <Link
+                      href="https://refinery.tools"
+                      className={clsx(
+                        'button',
+                        'button--secondary',
+                        styles.button,
+                      )}
+                    >
+                      More info
+                    </Link>
+                  </div>
+                </div>
+              </div>
+            </div>
+            <Screenshot />
+            <div
+              className={clsx(
+                styles.software,
+                styles['software--interactive'],
+                styles['software--ferdium'],
+              )}
+            >
+              <div className={styles.ferdium__icon}>
+                <FerdiumLogo className={styles.ferdium__logo} />
+              </div>
+              <div
+                className={clsx(styles.ferdium__content, styles.description)}
+              >
+                <p>
+                  I also contributed to <b>Ferdium,</b> a desktop app that
+                  combines and organizes <b>messaging apps</b> to take back{' '}
+                  <b>user freedom.</b>{' '}
+                  <Link
+                    href="https://ferdium.org/"
+                    className={styles['cover-link']}
+                  >
+                    Give it a spin!
+                  </Link>
+                </p>
+              </div>
+            </div>
+            <div
+              className={clsx(
+                styles.software,
+                styles['software--hosted'],
+                styles.description,
+              )}
+            >
+              <p>
+                I host some{' '}
+                <Link href="https://git.marussy.com">Git repositories</Link> and{' '}
+                <Link href="https://jenkins.marussy.com">Jenkins CI</Link> to
+                publish my own code and mirror software I contribute to or use.
+              </p>
+              <p>
+                Take a look at the mirrors of{' '}
+                <Link href="https://git.marussy.com/firejail/">Firejail</Link>{' '}
+                and <Link href="https://git.marussy.com/sway/">sway</Link>. Here
+                are my{' '}
+                <Link href="https://git.marussy.com/gitmirror/">scripts</Link>{' '}
+                for mirroring.
+              </p>
+            </div>
+          </div>
+          <Elsewhere
+            label="See my other repositories at"
+            links={[
+              {
+                href: 'https://github.com/kris7t/',
+                icon: <GithubIcon />,
+              },
+              {
+                href: 'https://gitlab.com/kris7t',
+                icon: <GitlabIcon />,
+              },
+              {
+                href: 'https://codeberg.org/marussy',
+                icon: <CodebergIcon />,
+              },
+            ]}
+          />
+        </div>
+      </Section>
+    </div>
+  );
+}
diff --git a/src/components/landing/sections/ferdium.svg b/src/components/landing/sections/ferdium.svg
new file mode 100644
index 0000000..0b63966
--- /dev/null
+++ b/src/components/landing/sections/ferdium.svg
@@ -0,0 +1,45 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<svg
+   width="806.57886"
+   height="260.71109"
+   viewBox="0 0 806.57886 260.71109"
+   version="1.1"
+   xml:space="preserve"
+   style="clip-rule:evenodd;fill-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2"
+   id="svg5552"
+   sodipodi:docname="Ferdium.svg"
+   inkscape:version="1.3.2 (091e20ef0f, 2023-11-25, custom)"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:svg="http://www.w3.org/2000/svg"><defs
+   id="defs5556" /><sodipodi:namedview
+   id="namedview5554"
+   pagecolor="#ffffff"
+   bordercolor="#666666"
+   borderopacity="1.0"
+   inkscape:pageshadow="2"
+   inkscape:pageopacity="0"
+   inkscape:pagecheckerboard="0"
+   showgrid="false"
+   inkscape:current-layer="svg5552"
+   inkscape:showpageshadow="2"
+   inkscape:deskcolor="#d1d1d1"
+   inkscape:zoom="1.883"
+   inkscape:cx="404.93893"
+   inkscape:cy="177.64206"
+   inkscape:window-width="3840"
+   inkscape:window-height="2135"
+   inkscape:window-x="0"
+   inkscape:window-y="0"
+   inkscape:window-maximized="0" />
+    <path
+   id="path1020"
+   sodipodi:nodetypes="zscszscsz"
+   class="st4"
+   d="M 403.28942,0 C 373.79442,0 232.71341,109.93592 208.58114,109.93592 182.59253,109.93592 19.235589,46.82075 0.46603569,59.40252 -10.053166,82.09099 160.52284,260.71109 206.93107,260.71109 c 45.58318,0 180.68268,-95.0853 196.35835,-95.0853 15.67566,0 150.77516,95.0853 196.35835,95.0853 46.40823,0 216.98422,-178.6201 206.46503,-201.30857 -18.76955,-12.78804 -182.12649,50.5334 -208.1151,50.5334 C 573.86542,109.93592 432.78443,0 403.28942,0 Z"
+   inkscape:export-filename="/Users/fernando/Downloads/logo.png"
+   inkscape:export-xdpi="195.03999"
+   inkscape:export-ydpi="195.03999"
+   style="clip-rule:evenodd;display:inline;fill:#ffffff;fill-rule:evenodd;stroke-width:2.06259" />
+</svg>
diff --git a/src/components/landing/sections/ferdium.svg.license b/src/components/landing/sections/ferdium.svg.license
new file mode 100644
index 0000000..7782463
--- /dev/null
+++ b/src/components/landing/sections/ferdium.svg.license
@@ -0,0 +1,7 @@
+SPDX-FileCopyrightText: Ferdium Contributors <hello@ferdium.org> (https://ferdium.org/)
+
+SPDX-License-Identifier: Apache-2.0
+
+This file was obtained by cropping the viewbox of
+https://github.com/ferdium/ferdium-app/blob/a877c6a83e40f09c5ba6f537a672e40a61a82415/branding/Ferdium.svg
+to only enclose the logo itself.
diff --git a/src/components/landing/sections/refinery-background.png b/src/components/landing/sections/refinery-background.png
new file mode 100644
index 0000000..67f00cd
--- /dev/null
+++ b/src/components/landing/sections/refinery-background.png
diff --git a/src/components/landing/sections/refinery-background.png.license b/src/components/landing/sections/refinery-background.png.license
new file mode 100644
index 0000000..50ad65f
--- /dev/null
+++ b/src/components/landing/sections/refinery-background.png.license
@@ -0,0 +1,9 @@
+SPDX-FileCopyrightText: 2024 The Refinery Authors <https://refinery.tools/>
+
+SPDX-License-Identifier: EPL-2.0
+
+Modified image based on "Low Angle Shot of Manufacturing Plant under Blue Sky"
+available under the CC-1.0 license at
+https://www.pexels.com/photo/low-angle-shot-of-manufacturing-plant-under-blue-sky-257700/
+Original image "Bulgaria, Vratsa, Abandoned image. Free for use." by "2427999" also available at
+https://pixabay.com/photos/bulgaria-vratsa-abandoned-industry-1351947/
diff --git a/src/components/landing/sections/refinery-logo.svg b/src/components/landing/sections/refinery-logo.svg
new file mode 100644
index 0000000..2d2ac6a
--- /dev/null
+++ b/src/components/landing/sections/refinery-logo.svg
@@ -0,0 +1 @@
+<svg width="512" height="512" viewBox="0 0 512 512" xmlns="http://www.w3.org/2000/svg"><path d="M447.98 179.335c-139.95-9.583-301.272-50.91-384-147.336v46.117C98.45 129.623 209.442 178.137 294.243 199.1c-84.796 20.963-195.791 69.476-230.265 120.985v46.117c82.73-96.422 244.053-137.752 384.002-147.334z" class="refinery-a"/><path d="M447.98 296.729c-113.755 4.192-287.485 40.727-384 136.557v46.716c95.14-103.612 279.898-137.754 384-143.745z" class="refinery-b"/></svg>
diff --git a/src/components/landing/sections/refinery-logo.svg.license b/src/components/landing/sections/refinery-logo.svg.license
new file mode 100644
index 0000000..dd2431a
--- /dev/null
+++ b/src/components/landing/sections/refinery-logo.svg.license
@@ -0,0 +1,7 @@
+SPDX-FileCopyrightText: 2021-2024 The Refinery Authors <https://refinery.tools/>
+
+SPDX-License-Identifier: EPL-2.0
+
+This image is a version of
+https://github.com/graphs4value/refinery/blob/5af12117129b266ed356d9609f6476544a30b67a/subprojects/docs/static/logo.svg
+modified by adding CSS classes for on-the-fly recoloring.
diff --git a/src/components/landing/sections/refinery-screenshot-dark.png b/src/components/landing/sections/refinery-screenshot-dark.png
new file mode 100644
index 0000000..60a11d6
--- /dev/null
+++ b/src/components/landing/sections/refinery-screenshot-dark.png
diff --git a/src/components/landing/sections/refinery-screenshot-dark.png.license b/src/components/landing/sections/refinery-screenshot-dark.png.license
new file mode 100644
index 0000000..777b42e
--- /dev/null
+++ b/src/components/landing/sections/refinery-screenshot-dark.png.license
@@ -0,0 +1,5 @@
+SPDX-FileCopyrightText: 2024 Kristóf Marussy
+
+SPDX-License-Identifier: CC0-1.0
+
+Screenshot taken from https://refinery.services with 200% zoom in Firefox 129.0.
diff --git a/src/components/landing/sections/refinery-screenshot-light.png b/src/components/landing/sections/refinery-screenshot-light.png
new file mode 100644
index 0000000..8ba7564
--- /dev/null
+++ b/src/components/landing/sections/refinery-screenshot-light.png
diff --git a/src/components/landing/sections/refinery-screenshot-light.png.license b/src/components/landing/sections/refinery-screenshot-light.png.license
new file mode 100644
index 0000000..777b42e
--- /dev/null
+++ b/src/components/landing/sections/refinery-screenshot-light.png.license
@@ -0,0 +1,5 @@
+SPDX-FileCopyrightText: 2024 Kristóf Marussy
+
+SPDX-License-Identifier: CC0-1.0
+
+Screenshot taken from https://refinery.services with 200% zoom in Firefox 129.0.