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