Pull requests

• Update katex to 0.18.11

  #701·typelevel-steward[bot] opened Oct 21, 2026Bot·

  ·
  1

• Update http4s-ember-server to 0.23.38

  #697·typelevel-steward[bot] opened Sep 29, 2026Bot·

  ·
  1

• Update js to 25.4.4.1.1

  #696·typelevel-steward[bot] opened Sep 22, 2026Bot·

  ·
  1

• Add Typelevel welcome guide

  #689·dhinojosa opened Sep 7, 2026Member·

  ·
  27

• Clarify CoC license

  #682·armanbilge opened Aug 10, 2026Member·

  ·
  2

• Initial prototype of interactive tutorials

  #677·jducoeur opened Jul 30, 2026Member·

  ·
  8

• Add project shields

  #670·reardonj opened Jul 23, 2026Contributor·

  ·
  6

• Update protosearch, exclude the 404 page

  #637·valencik opened Apr 16, 2026Member·

  ·
  7

  

• fix: duplicate path error problem issue(#610)

  #621·Arunanshu655 opened Mar 27, 2026·

  ·

• Fix duplicate .well-known path causing Laika parser errors during site build

  #614·Piyush-t24 opened Mar 6, 2026·

  ·
  1

  6

• Modified_CI_for_Windows_and_Ubuntu

  #612·synan-mannan opened Mar 5, 2026·

  ·
  3

• [WIP] Curated projects #272

  #274·Slakah opened Feb 29, 2020·2 of 7 tasks·

  ·
  6