All pull requests

Pull requests

• Index Python sources as file family P

  #444·wonschangge opened Nov 9, 2026·2 of 3 tasks·

  ·

• Feature linux tags kernel.org

  #441·iam-TJ opened Sep 30, 2026·

  ·

• Add automated local setup

  #440·uajiit opened Sep 21, 2026·

  ·

• Perform file tokenization in python

  #437·WhatAmISupposedToPutHere opened Aug 19, 2026·

  ·
  2

• templates/topbar: remove whitespace from file path

  #435·fstachura opened Aug 13, 2026Collaborator·

  ·
  1

  1

• build(deps): bump pytest from 7.2.1 to 9.0.3

  dependenciespython
  #427·dependabot[bot] opened Apr 13, 2026Bot·

  ·

• query: Display definitions for duplicate files

  #409·fstachura opened May 29, 2025Collaborator·

  ·
  1

  1

• Fix recent caching issues

  #407·fstachura opened Apr 30, 2025Collaborator·

  ·

• Add opensearch manifest for elixir.bootlin.com

  #401·fstachura opened Mar 11, 2025Collaborator·

  ·
  1

  4

• Diff view

  #396·fstachura opened Mar 5, 2025Collaborator·

  ·
  1

  2

• Add script for converting Zephyr repository

  #394·fstachura opened Feb 22, 2025Collaborator·

  ·
  7

• README: maintenance and minor fixes

  #393·fstachura opened Feb 21, 2025Collaborator·

  ·
  1

• style.css: fluid spacing of nav-links for mobile

  #385·tleb opened Feb 5, 2025Member·

  ·
  3

• New lexers

  #375·fstachura opened Dec 29, 2024Collaborator·

  ·

• data: Replace custom formats with msgpack

  #374·fstachura opened Dec 29, 2024Collaborator·

  ·
  6

• utils: Add crawlers for testing for crashes/performance

  #373·fstachura opened Dec 29, 2024Collaborator·

  ·

• update: Rewrite update script

  #372·fstachura opened Dec 29, 2024Collaborator·

  ·
  2

  48

• Add peeks for idents

  #367·Daniil159x opened Dec 23, 2024·

  ·
  14

• Add a list of tokens that are always indexed

  #288·fstachura opened Jun 18, 2024Collaborator·

  ·
  17

• Remove net from keyword blacklist

  #286·fstachura opened Jun 6, 2024Collaborator·

  ·
  10

• Multi languages support other than C/C++

  #254·miharahiro opened Jun 23, 2023·

  ·
  10