Font / theme used in benchmarks ?

[RiseAndCry]

Hi, which font / theme is being used in the benchmark screenshots ?
looks really cool :)

[mTvare6]

I never this such a thing called dicussions existed, github doesn't even add number of discussions opened, that led to late discovery, anyway its scientifica(nerd patched version I have) and gruvbox mac hex(take it from iTerm's theme repository)

In case you are not able to find any, let me know

[mTvare6]

Fonts.zip
They are patched using nerd font patcher and original from https://github.com/NerdyPepper/scientifica

 GRUVCOLR           ITERM RGB     OSX HEX
 --------------     -----------   -------
 dark0_hard         22, 24, 25   #161819
 dark0              30, 30, 30   #1e1e1e
 dark0_soft         38, 36, 35   #262423
 dark1              46, 42, 41   #2e2a29
 dark2              63, 57, 53   #3f3935
 dark3              83, 74, 66   #534a42
 dark4             104, 92, 81   #685c51

 gray_245          127,112, 97   #7f7061
 gray_244          127,112, 97   #7f7061

 light0_hard       248,244,205   #f8f4cd
 light0            250,238,187   #faeebb
 light0_soft       239,223,174   #efdfae
 light1            230,212,163   #e6d4a3
 light2            203,184,144   #cbb890
 light3            175,159,129   #af9f81
 light4            151,135,113   #978771

 bright_red        247, 48, 40   #f73028
 bright_green      170,176, 30   #aab01e
 bright_yellow     247,177, 37   #f7b125
 bright_blue       113,149,134   #719586
 bright_purple     199,112,137   #c77089
 bright_aqua       125,182,105   #7db669
 bright_orange     251,106, 22   #fb6a16

 neutral_red       190, 15, 23   #be0f17
 neutral_green     134,135, 21   #868715
 neutral_yellow    204,136, 26   #cc881a
 neutral_blue       55,115,117   #377375
 neutral_purple    160, 75,115   #a04b73
 neutral_aqua       87,142, 87   #578e57
 neutral_orange    202, 72, 14   #ca480e

 faded_red         137,  0,  9   #890009
 faded_green       102, 98, 13   #66620d
 faded_yellow      165, 99, 17   #a56311
 faded_blue         14, 83,101   #0e5365
 faded_purple      123, 43, 94   #7b2b5e
 faded_aqua         53,106, 70   #356a46
 faded_orange      157, 40,  7   #9d2807


Thought these values might be hard to come by or extract

[RiseAndCry]

Thank you !