/* * Copyright (c) 2024 Kristóf Marussy * * 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[]=997&sizes[]=1920&format=png&rl'; import refineryScreenshotLight from './refinery-screenshot-light.png?placeholder=true&sizes[]=997&sizes[]=1920&format=png&rl'; function ScreenshotImage() { // 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 { colorMode } = useColorMode(); const refineryScreenshot = colorMode === 'dark' ? refineryScreenshotLight : refineryScreenshotDark; const screenshot = ( ); return isBrowser ? screenshot : ; } function Screenshot() { return (

Try Refinery in your browser

); } export default function Software() { return (

Refinery

I am a developer and maintainer of Refinery, an efficient{' '} graph solver for generating{' '} well-formed models and reasoning about{' '} interconnected systems.

Try now Read docs

I also contributed to Ferdium, a desktop app that combines and organizes messaging apps to take back{' '} user freedom.{' '} Give it a spin!

I host some{' '} Git repositories and{' '} Jenkins CI to publish my own code and mirror software I contribute to or use.

Take a look at the mirrors of{' '} Firejail{' '} and sway. Here are my{' '} scripts{' '} for mirroring.

, }, { href: 'https://gitlab.com/kris7t', icon: , }, { href: 'https://codeberg.org/marussy', icon: , }, ]} />
); }