inferara.com/config.yml at main · Inferara/inferara.com · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
baseURL: "https://inferara.com/"
languageCode: "en-us"
title: "Inferara"
theme: "PaperMod"
favicon: "favicon.ico"

defaultContentLanguage: en
defaultContentLanguageInSubdir: true


params:

  disableThemeToggle: true
  defaultTheme: light
  displayFullLangName: true

  label:
    icon: "images/logo.svg"
    # defaultTheme: light
    # defaultTheme: auto # to switch between dark or light according to browser theme

  profileMode:
    enabled: true
    imageUrl: "images/logo.svg"
    imageWidth: 200 # custom size
    imageHeight: 200 # custom size

  socials:
    x: "https://www.x.com/Inferara_kk"
    discord: "https://discord.gg/NgWfmnmS5C"
    telegram: "https://t.me/inferara"

assets:
  favicon16x16: "/assets/favicon-16x16.png"
  favicon32x32: "/assets/favicon-32x32.png"
  apple_touch_icon: "/assets/apple-touch-icon.png"
  android_chrome_192x192: "/assets/android-chrome-192x192.png"
  android_chrome_512x512: "/assets/android-chrome-512x512.png"

services:
  googleAnalytics:
    ID: G-HFSPPHXC3W

markup:
  defaultMarkdownHandler: goldmark
  goldmark:
      parser:
          attribute:
            block: true
      renderer:
          unsafe: true

languages:
  en:
    contentDir: content/en
    disabled: false
    languageCode: en-US
    languageDirection: ltr
    languageName: English
    title: Inferara
    weight: 1
    params:
      FooterSubtitle: '"If you do not do design right from the beginning, then every piece of the code you write is a patch. And you start out from day 1 with a mess." – Leslie Lamport'
      profileMode:
        enabled: true
        title: "Independent research group specializing in Programming Languages and Formal Methods"
        subtitle: "Our goal is to make formal verification accessible for Web3 developers."
        buttons:
          - name: Read Our Papers
            url: "/en/papers"
      socialIcons:
        - name: "X"
          url: "https://www.x.com/Inferara_kk"
        - name: "email"
          url: "mailto:info@inferara.com"
        - name: "github"
          url: "https://www.github.com/inferara"
        - name: "telegram"
          url: "https://t.me/inferara"
        - name: "discord"
          url: "https://discord.gg/NgWfmnmS5C"
  jp:
    contentDir: content/jp
    disabled: false
    languageCode: ja-JP
    languageDirection: ltr
    languageName: 日本語
    title: Inferara
    weight: 2
    params:
      FooterSubtitle: "「最初から設計を正しく行わないと、書くコードのすべてが継ぎ接ぎだらけになります。そして、初日から混乱した状態でスタートすることになります。」 - レスリー・ランポート"
      profileMode:
        enabled: true
        title: "プログラミング言語と形式手法に特化した研究開発会社"
        subtitle: "Inferaraの目標は、エンジニアが形式検証をより利用しやすくすることです。"
        buttons:
          - name: 論文を読む
            url: "/jp/papers"
      socialIcons:
        - name: "X"
          url: "https://www.x.com/Inferara_kk"
        - name: "email"
          url: "mailto:info@inferara.com"
        - name: "github"
          url: "https://www.github.com/inferara"
        - name: "telegram"
          url: "https://t.me/inferara"
        # - name: "line"
        #   url: "https://line.me/ti/p/~inferara"
        - name: "discord"
          url: "https://discord.gg/NgWfmnmS5C"