# Наука и исследования: что взлетает на GitHub

Магнитуда (0–10) — насколько быстро и необычно сейчас растёт интерес к репозиторию. Это не оценка качества. Дни — по UTC. «Уже сегодня» — факт, «к вечеру ≈» — прогноз.

Данные на 2026-10-30 13:16 UTC, обновление каждые 30 минут.

1. **da-luce/astroterm** — 6,6 · Взлёт · Наука и исследования · C · +231 звезда по замерам 2026-10-30, 03:46–13:01 UTC, к вечеру ≈ 352
   Терминальный планетарий на C: отображает в реальном времени положения звёзд, планет, созвездий и фаз Луны в ASCII прямо в командной строке. Настраивается по дате, времени и координатам наблюдателя.
   Полная карточка: https://gitnova.dev/r/da-luce/astroterm.md
2. **openai/math** — 4,2 · Ровно · Наука и исследования · Lean · +28 звёзд по замерам 2026-10-30, 00:16–13:02 UTC, к вечеру ≈ 86
   Коллекция математических рукописей и Lean-формализаций, созданных внутренней моделью OpenAI при решении открытых исследовательских задач. Предназначена для математиков и исследователей, изучающих результаты и проверяющих доказательства.
   Полная карточка: https://gitnova.dev/r/openai/math.md
3. **molence/Mol-1** — 3,5 · Ранний сигнал · Наука и исследования · Python · +18 звёзд по замерам 2026-10-30, 00:16–13:03 UTC, к вечеру ≈ 30
   Mol-1 — открытая модель для предсказания структур биомолекулярных комплексов (белки, ДНК, РНК, лиганды, ионы) из последовательностей. CLI `mol` запускает инференс, поиск MSA и шаблонов, конвертацию структур.
   Полная карточка: https://gitnova.dev/r/molence/Mol-1.md
4. **AxiomMath/CFSG** — 2,9 · Остывает · Наука и исследования · Lean · +7 звёзд по замерам 2026-10-30, 00:16–13:04 UTC, к вечеру ≈ 12
   Формализация классификации конечных простых групп (CFSG) на Lean 4 без sorry, построенная на Mathlib и TauCeti со стандартными аксиомами. Предназначена для математиков и разработчиков формальных доказательств.
   Полная карточка: https://gitnova.dev/r/AxiomMath/CFSG.md
5. **CuboiLeo/SuperMimic-Reproduced** — 1,9 · Ровно · Наука и исследования · Python · +16 звёзд по замерам 2026-10-30, 00:21–13:09 UTC, к вечеру ≈ 26
   Воспроизведение статьи SuperMimic (arXiv:2610.28480): дифференцируемая модель мира и BPTT actor-critic для отслеживания движений гуманоида Unitree G1 на mjlab/MuJoCo Warp, с пайплайном данных, обучением, бенчмарком и просмотром реплеев.
   Полная карточка: https://gitnova.dev/r/CuboiLeo/SuperMimic-Reproduced.md
6. **isl-org/Open3D** — 1,5 · Ровно · Наука и исследования · C++ · +6 звёзд по замерам 2026-10-30, 00:23–13:11 UTC, к вечеру ≈ 10
   Открытая библиотека на C++ и Python для работы с 3D-данными: структуры данных, алгоритмы обработки, реконструкция сцены, визуализация и поддержка 3D-машинного обучения.
   Полная карточка: https://gitnova.dev/r/isl-org/Open3D.md
7. **colmap/colmap** — 1,4 · Ровно · Наука и исследования · C++ · +4 звезды по замерам 2026-10-30, 00:23–13:11 UTC, к вечеру ≈ 8
   COLMAP — пайплайн Structure-from-Motion и Multi-View Stereo с GUI и CLI для 3D-реконструкции упорядоченных и неупорядоченных наборов изображений. Используется в компьютерном зрении и фотограмметрии.
   Полная карточка: https://gitnova.dev/r/colmap/colmap.md
8. **google/or-tools** — 1,3 · Ровно · Наука и исследования · C++ · +2 звезды по замерам 2026-10-30, 00:23–13:13 UTC, к вечеру ≈ 4
   Открытый набор инструментов Google для решения задач комбинаторной оптимизации: constraint programming, линейное программирование, маршрутизация и графовые алгоритмы. Ядро на C++ с обёртками для Python, C# и Java.
   Полная карточка: https://gitnova.dev/r/google/or-tools.md
9. **sybil-solutions/all-historical-evidence-of-jesus-christ** — 1,1 · Остывает · Наука и исследования · Python · +1 звезда по замерам 2026-10-30, 00:24–13:14 UTC, к вечеру ≈ 2
   Архив источников об историческом Иисусе из Назарета: исследовательский досье в PDF, тексты Нового Завета, гностических и апокрифических евангелий, отцов церкви, античных свидетелей, римских документов и археологии с 238 ссылками и…
   Полная карточка: https://gitnova.dev/r/sybil-solutions/all-historical-evidence-of-jesus-christ.md
10. **CrocSwap/integer-mult-bounds** — 0,9 · Тихо · Наука и исследования · Python · +2 звезды по замерам 2026-10-30, 00:24–13:14 UTC, к вечеру ≈ 3
   Исследовательский репозиторий с community-доказательствами улучшенной асимптотической оценки для умножения целых чисел (κ > 2^-15), включая сертификаты, Lean-проверки и воспроизводимые аудиты.
   Полная карточка: https://gitnova.dev/r/CrocSwap/integer-mult-bounds.md
11. **openmathmodel/open-math-harness** — 0,4 · Остывает · Наука и исследования · Rust · +0 звёзд по замерам 2026-10-30, 00:24–13:15 UTC, к вечеру ≈ 0
   Открытый рантайм Open Math OS для совместных математических исследований: запускает агентов на открытых моделях, параллельный поиск доказательств и проверку результатов в Lean. Написан на Rust, требует Linux и bubblewrap.
   Полная карточка: https://gitnova.dev/r/openmathmodel/open-math-harness.md
12. **theforecastingcompany/tfc-t0** — 0,1 · Тихо · Наука и исследования · Jupyter Notebook · Недостаточно замеров за сегодня
   Открытая фундаментальная модель прогнозирования временных рядов t0 от The Forecasting Company, выдающая вероятностные прогнозы с учётом истории и известных будущих ковариат.
   Полная карточка: https://gitnova.dev/r/theforecastingcompany/tfc-t0.md
13. **StoopwenpueNq/jackie-fmri-sim** — 0,0 · Тихо · Наука и исследования · Python · Недостаточно замеров за сегодня
   Python-фреймворк, восстанавливающий цифровой двойник эмоционального и регионального состояния мозга собаки по реальным fMRI, ЭЭГ и физиологическим записям шести сессий. Позволяет задавать текстовые стимулы и получать интерпретируемый…
   Полная карточка: https://gitnova.dev/r/StoopwenpueNq/jackie-fmri-sim.md
14. **BD4XDA/OceanDataView-MCP-Server** — 0,0 · Тихо · Наука и исследования · Python · Недостаточно замеров за сегодня
   MCP-сервер, подключающий AI-ассистентов с поддержкой MCP к Ocean Data View: позволяет просматривать коллекции и сохранённые виды, экспортировать данные в ODV spreadsheet или netCDF и рендерить виды в PNG/JPG на изолированных копиях.
   Полная карточка: https://gitnova.dev/r/BD4XDA/OceanDataView-MCP-Server.md
15. **Augmented-Nature/AlphaFold-MCP-Server** — 0,0 · Тихо · Наука и исследования · JavaScript · Недостаточно замеров за сегодня
   MCP-сервер, открывающий базу AlphaFold Protein Structure Database для LLM-клиентов: получение, поиск, пакетная обработка и анализ предсказанных структур белков по UniProt ID.
   Полная карточка: https://gitnova.dev/r/Augmented-Nature/AlphaFold-MCP-Server.md
16. **t4t5/bitcoin-0.1-rebuilt** — 0,0 · Ровно · Наука и исследования · Shell · Недостаточно замеров за сегодня
   Воспроизводимая сборка оригинального bitcoin.exe из первого релиза Bitcoin 0.1.0, байт в байт совпадающая с файлом, опубликованным Сатоши Накамото в 2009 году.
   Полная карточка: https://gitnova.dev/r/t4t5/bitcoin-0.1-rebuilt.md
17. **Mrquillwing/hello_world-** — 0,0 · Ровно · Наука и исследования · Недостаточно замеров за сегодня
   Модульный движок для численного моделирования физических систем: классическая механика, гравитация и N-body, динамика частиц, жидкости и решатели уравнений. Проект на ранней стадии разработки, на Python с NumPy/SciPy, C++ и Three.js для…
   Полная карточка: https://gitnova.dev/r/Mrquillwing/hello_world-.md
18. **ramithuh/protein-design-interactive-slides** — 0,0 · Ровно · Наука и исследования · JavaScript · Недостаточно замеров за сегодня
   Шаблон для живых слайдов в браузере: HTML для текста, manim-анимации по шагам и 3D-сцены с молекулами и белковыми картунами в стиле Mol*. Без сборки и рендера видео — правишь слайд и обновляешь страницу.
   Полная карточка: https://gitnova.dev/r/ramithuh/protein-design-interactive-slides.md

Для агентов: https://gitnova.dev/llms.txt · поиск: https://gitnova.dev/api/v1/search?q=…&lang=ru · MCP: https://gitnova.dev/mcp · любая страница в Markdown — добавьте к адресу .md