GitNova

Сейсмограф GitHub — находки и рост интереса

GitNova — Находки дня · 7 октября 2026 · 10:00 МСК

Три находки для разных задач из проектов под наблюдением GitNova. Выпуск сохранён 7 октября 2026, 07:00 UTC.

Описания — пересказы README. Магнитуда показывает рост интереса; установка не тестировалась. Звёзды ниже относятся к указанному дню UTC на момент замера.

openai/math

Наука и исследования · Lean

+3,339звёзд за 2026-10-07 · UTC

Коллекция математических рукописей и Lean-формализаций, созданных внутренней моделью OpenAI при решении открытых исследовательских задач. Предназначена для математиков и исследователей, изучающих результаты и проверяющих доказательства.

Чем пригодится
  • Изучить каталог из 722 рукописей по разным математическим дисциплинам
  • Проверить Lean-формализации доказательств с помощью Comparator
  • Найти рукописи по конкретной теме через карту рукописей
Перед использованием
  • Лицензия: Apache-2.0
  • Установка и требования не проверены; перед запуском изучи README
Посмотреть проект

Почему интересно сейчас

Создан на GitHub
2026-10-06 UTC
Впервые в GitNova
2026-10-06 UTC
Магнитуда
9.8 / 10 · рост интереса

Недостаточно последовательных полных дней истории для сравнения прироста

Замер: 7 октября 2026, 06:47 UTC

Подробности замера
  • Создан на GitHub: 2026-10-06; замечен GitNova: 2026-10-06 (UTC)
  • +3 339 звёзд по замерам 2026-10-07, 00:19–06:34 UTC
  • Недостаточно последовательных полных дней истории для сравнения прироста
  • Магнитуда 9.8/10

shader-effects-inc/shaders

Веб и фронтенд · TypeScript

+370звёзд за 2026-10-07 · UTC

Библиотека WebGPU-эффектов в виде декларативных компонентов для React, Vue, Svelte, Solid и JavaScript: градиенты, шум, стекло, металл, размытия, переходы и курсорные эффекты. Плюс CLI и MCP-сервер для синхронизации эффектов, собранных в визуальном редакторе, с кодовой базой.

Чем пригодится
  • Добавить градиентный фон или эффект стекла на сайт через компонент Shader
  • Собрать эффект в визуальном редакторе и выгрузить его в проект командой npx shaders install
  • Подключить MCP-сервер, чтобы кодинг-агент сам находил и устанавливал нужные шейдеры
Перед использованием
  • Лицензия: MIT
  • Установка и требования не проверены; перед запуском изучи README
Посмотреть проект

Почему интересно сейчас

Создан на GitHub
2026-09-29 UTC
Впервые в GitNova
2026-10-06 UTC
Обычный день
+0 звёзд · медиана 7 полных дней
Магнитуда
8.8 / 10 · рост интереса

Обычно медианный день без новых звёзд; сейчас появился заметный прирост — множитель не считаем

Максимум этих 7 полных дней: +1,630 за 2026-10-06; текущий замер его ещё не превысил (UTC)

Замер: 7 октября 2026, 06:47 UTC

Подробности замера
  • Создан на GitHub: 2026-09-29; замечен GitNova: 2026-10-06 (UTC)
  • +370 звёзд по замерам 2026-10-07, 00:21–06:34 UTC
  • Обычно: +0 звёзд/сутки — медиана 7 полных дней 2026-09-30–2026-10-06 (UTC)
  • Обычно медианный день без новых звёзд; сейчас появился заметный прирост — множитель не считаем
  • Максимум этих 7 полных дней: +1,630 за 2026-10-06; текущий замер его ещё не превысил (UTC)
  • Магнитуда 8.8/10

storytold/printcraft

Приложения · Rust

+296звёзд за 2026-10-07 · UTC

Кроссплатформенный PDF-редактор на Rust: чтение, поиск, организация страниц, объединение, разделение и защита PDF, плюс CLI. Открытая альтернатива Adobe Acrobat без аккаунта и телеметрии.

Чем пригодится
  • Объединить несколько PDF в один с закладками через printcraft-cli combine
  • Разделить документ по n страниц или извлечь выбранные страницы в новый файл
  • Открыть зашифрованный PDF, ввести пароль владельца и снять ограничения на редактирование
Перед использованием
  • Лицензия: Apache-2.0
  • Установка и требования не проверены; перед запуском изучи README
Посмотреть проект

Почему интересно сейчас

Создан на GitHub
2026-09-30 UTC
Впервые в GitNova
2026-10-03 UTC
Магнитуда
8.5 / 10 · рост интереса

Есть только 6 полных дней истории; надёжный обычный темп ещё не определён. За 2026-10-06: +923 звёзд (UTC)

Максимум этих 6 полных дней: +923 за 2026-10-06; текущий замер его ещё не превысил (UTC)

Замер: 7 октября 2026, 06:47 UTC

Подробности замера
  • Создан на GitHub: 2026-09-30; замечен GitNova: 2026-10-03 (UTC)
  • +296 звёзд по замерам 2026-10-07, 00:19–06:34 UTC
  • Есть только 6 полных дней истории; надёжный обычный темп ещё не определён. За 2026-10-06: +923 звёзд (UTC)
  • Максимум этих 6 полных дней: +923 за 2026-10-06; текущий замер его ещё не превысил (UTC)
  • Магнитуда 8.5/10

Поделиться выпуском

Поделиться в XTelegram

Предыдущие выпуски

Три GitHub-находки в каждом выпуске

Что делают, почему набирают интерес и что проверить перед использованием.

Выпуски в 10:00, 16:00, 22:00 МСК.

Получать находки в TelegramЧитать находки дня