Наука и исследования: что взлетает на GitHub
Самые быстрорастущие репозитории в категории «Наука и исследования»: описания на русском, сценарии применения и проверка звёзд. Обновление каждые 30 минут.
-
6,9
yifanzhang-pro/recurrent-looped-tranformer
Страница проекта Recurrent Looped Transformer (RLT) — технический отчёт о рекуррентной looped-архитектуре трансформера с латентным рассуждением и сквозным состоянием между prompt и ответом. Репозиторий содержит только…
-
4,4
yjz211/vivid-figures-skill
Skill для AI-ассистентов, который по вашим данным подбирает тип графика и генерирует научные иллюстрации: 108 рецептов, два стиля, PNG/PDF и исходный код. Для статей, матмоделирования и отчётов.
-
3,8
ashleyotooligan/ant-1
Симулированный муравей с рекуррентным нейроконтроллером в 2D-арене: ищет источник запаха, запоминает вектор еды и возвращается в гнездо. Открытая лаборатория для наблюдения и вмешательства в сенсомоторный цикл.
-
3,5
fruitflydev/flycoinrh
Симуляция коннектома мозга плодовой мушки (165 122 нейрона) управляет браузером: курсором и кликами, чтобы запускать токены на Robinhood Chain и бесцельно бродить по интернету.
-
3,2
kevinzakka/mjbatch
Библиотека на Python для параллельного запуска тысяч симуляций MuJoCo на CPU через C++ thread pool с доступом к состоянию и параметрам каждой симуляции.
-
3,2
openai/NavierStokesAndEuler
Формализации на Lean 4 результатов о конечном времени разрушения решений уравнений Навье–Стокса и Эйлера, включая сертификаты для задач тысячелетия. Нужен математикам и специалистам по формальным доказательствам.
-
2,6
mattyhempstead/fly-wirehead
Симуляция коннектома мухи: реальные видео стимулируют восстановленную нейросеть из 166 700 нейронов, а её активность управляет движениями мухи и нейрооверлеем в браузере.
-
2,5
DenisSergeevitch/desktop-fly
3D-муха дрозофила живёт на рабочем столе macOS: её поведение управляется спайковой симуляцией реального коннектома FlyWire и моторной сети MaleCNS.
-
1,9
xiahongchi/Fire3D
Fire3D — исследовательский фреймворк, который по одному RGB-изображению или обычному видео строит 3D-сцену с объектами, их 6-DoF позами, мешами и текстурами без оптимизации на этапе инференса. Оригинальный код статьи с…
-
1,4
anthropics/fermats-last-theorem
Полное машинно-проверенное доказательство Великой теоремы Ферма на Lean 4, основанное на Mathlib и повторяющее аргумент Фрея, Серра, Рибета и Уайлса. Исследовательский артефакт, не поддерживается и не принимает вклад.
-
0,5
lingxiao-guo/GPT6-real2sim
Исследование по восстановлению реальных робототехнических эпизодов DROID/Franka и ABC/YAM в симуляции: MuJoCo для контактной динамики, Blender для многовидового рендеринга. Включает скрипты, ассеты, калибровку и видео…
-
0,4
tristanbuckmaster/fluid_lean
Формализация гидродинамики и механики жидкостей на языке Lean 4. Библиотека для математических доказательств в области fluid dynamics.
-
0,2
openaiotlab/CUHK-X
Крупномасштабный мультимодальный датасет и бенчмарки для распознавания, понимания и логического вывода о действиях человека: 64 267 сэмплов, 7 синхронизированных модальностей (RGB, IR, Thermal, Depth, mmWave Radar,…